Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Improve some tactics and lemmas | 2016-06-23 | ||
* | [break_match] should not be local | 2016-06-23 | ||
* | Add tactics to Tactics, at most 2 sq-roots to Algebra | 2016-06-23 | ||
* | Add a tactic for field inequalities | 2016-04-19 |
![]() |
index : fiat-crypto | |
fast, formally verified cryptography |
aboutsummaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Improve some tactics and lemmas | 2016-06-23 | ||
* | [break_match] should not be local | 2016-06-23 | ||
* | Add tactics to Tactics, at most 2 sq-roots to Algebra | 2016-06-23 | ||
* | Add a tactic for field inequalities | 2016-04-19 |