All Categories → No Category → program-equivalence

Top 1 program-equivalence 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 program-equivalence projects