GitHub repository: rlepigre/pml
Primary language: OCaml
Created: 2017-08-31T06:46:11Z
Description: New version of the PML language and (classical) proof assistant