GitHub repository: louiseddp/MinITP
Primary language: OCaml
Created: 2023-03-27T16:22:35Z
Description: Experiments with my own (very small) proof assistant