Age | Commit message (Expand) | Author |
---|---|---|
2021-06-25 | pow2 -- final changes (#6800) | yoni206 |
2021-06-24 | pow2: Adding monotonicity lemma (#6793) | yoni206 |
2021-06-23 | pow2: more implementations (#6756) | yoni206 |
2021-06-15 | pow2: adding a kind, inference rules, and some implementations in the pow2 so... | yoni206 |