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