Commit Graph

1 Commits

Author SHA1 Message Date
Raúl Kripalani
69332e1189 sanity check: make sure proof parameters are present; add Makefile for easy download. 2020-07-07 17:37:07 +01:00