GitHub repository: mcimini/lang-n-prove
Primary language: OCaml
Created: 2022-02-13T21:30:10Z
Description: Lang-n-Prove: A Proof Language for Language Proofs