3 ms·
Vdash executes math using the open source proof theorem prover Isabelle : http://www.cl.cam.ac.uk/research/hvg/Isabelle/ http://www.cl.cam.ac.uk/research/hvg/I
by hendler 17y ago
Vdash executes math using the open source proof theorem prover Isabelle :
http://www.cl.cam.ac.uk/research/hvg/Isabelle/ http://www.cl.cam.ac.uk/research/hvg/Isabelle/
http://en.wikipedia.org/wiki/Isabelle_%28theorem_prover%29 http://en.wikipedia.org/wiki/Isabelle_%28theorem_prover%29