Commit Graph

2 Commits

Author SHA1 Message Date
nolash
817fc40d84
Make tests pass 2021-10-15 12:48:14 +02:00
nolash
a5cdcb3900
Sort proofs 2021-10-10 21:30:18 +02:00