2 unstable releases
| 0.3.0 | Oct 9, 2024 |
|---|---|
| 0.2.0 | Oct 7, 2024 |
#8 in #tnj
46 downloads per month
Used in tnj
22KB
534 lines
Proof-Carrying-Code module. In here, we define the proof format and proof infrastructure.
Dependencies
~1.2–1.7MB
~37K SLoC