GitHub repository: skolemlabs/type_eq
Primary language: OCaml
Description: Type equality proofs for OCaml 4