2 unstable releases
| 0.3.0 | Oct 9, 2024 |
|---|---|
| 0.2.0 | Oct 7, 2024 |
#895 in Encoding
288 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.3–1.8MB
~40K SLoC