Advertisement
Emnu, new menu for KDE(proof of concept)
Emnu, new menu for KDE(proof of concept) is a proof of concept I finished at aKademy....
HOL
HOL is a programming environment in which theorems can be proved and proof tools implemented....
programming environment automated proof system theorems solver HOL
Isabelle
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich....
assistant proof theorem prover mathematical formulas proof assistant