PCC encoding for TNJ
Owned by martin-fink.
#1636 in Encoding
Used in tnj
22KB 534 lines
Proof-Carrying-Code module. In here, we define the proof format and proof infrastructure.
~1.3–1.9MB ~40K SLoC