Skip to content

qed-proof-core 0.2.2

Choose a tag to compare

View all tags
@floating-astronaut floating-astronaut released this 04 Oct 17:18
· 11 commits to main since this release
v0.2.2
This tag was signed with the committer’s verified signature.
floating-astronaut Tejas Karan Agrawal
SSH Key Fingerprint: NaIbDkZcSyu4SbCyI/ooY9q7Hn/hhgDtkw9Orn/x3Ec
Verified
Learn about vigilant mode.
a8a744f
This commit was signed with the committer’s verified signature.
floating-astronaut Tejas Karan Agrawal
SSH Key Fingerprint: NaIbDkZcSyu4SbCyI/ooY9q7Hn/hhgDtkw9Orn/x3Ec
Verified
Learn about vigilant mode.

Maintenance release. Documentation updates (README and contributing guide).

Assets 2
Loading