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 | Fix | ajreynol |
2020-05-07 | Format | ajreynol |
2020-05-07 | TrustNode for explain | ajreynol |
2020-05-07 | Some fixes | ajreynol |
2020-05-03 | Move eager proof generator, revise strings interfaces, eager reduction formal... | ajreynol |
2020-05-01 | Format | ajreynol |
2020-05-01 | Working on term registry | ajreynol |
2020-04-28 | Generalize proof generator, working on lazy proof | ajreynol |
2020-04-18 | Fix | ajreynol |
2020-04-18 | More | ajreynol |
2020-04-16 | Format | ajreynol |
2020-04-16 | More | ajreynol |
2020-04-16 | More | ajreynol |
2020-04-16 | More | ajreynol |