All Git Users → theoremprover-museum

2 open source projects by theoremprover-museum

[ Open user page on Github ]

The original Edinburgh LCF.

✭ 20

common lisp emacs lisp Standard ML Roff NewLisp Isabelle

2. theoremprover-museum.github.io

theoremprover-museum.github.io

✭ 45

1-2 of 2 user projects