Skip to content

Version 1.2.4 release

Latest
Latest
Compare
Choose a tag to compare
@PierreSenellart PierreSenellart released this 14 Oct 04:48
· 1 commit to master since this release
v1.2.4
This tag was signed with the committer’s verified signature.
PierreSenellart Pierre Senellart
GPG key ID: 06CCDC20BFB06E10
Learn about vigilant mode.
8ebf7f9

Version 1.2.4: support for lipcs's claimproof; support optional arguments in proofs

Assets 2
Loading