3 Commits

Author	SHA1	Message	Date
nolash	239ca47f32	Rehabilitate tests	2021-11-29 13:18:28 +01:00
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