Age | Commit message (Expand) | Author |
---|---|---|
2020-05-09 | Format | ajreynol |
2020-05-09 | Strings explain via propagate, fix proofs instead of fixing lemma | ajreynol |
2020-05-08 | Format | ajreynol |
2020-05-08 | PRef gen | ajreynol |
2020-05-07 | TrustNode for explain | ajreynol |
2020-05-04 | Format | ajreynol |
2020-05-04 | Eager pf gen interface | ajreynol |
2020-05-03 | Format | ajreynol |
2020-05-03 | Move eager proof generator, revise strings interfaces, eager reduction formal... | ajreynol |