All Categories → No Category → classical-logic

Top 1 classical-logic open source projects

New version of the PML language and (classical) proof assistant

✭ 15

ocaml TeX emacs lisp Vim Script shell python pml classical-logic program-equivalence

1-1 of 1 classical-logic projects