7 ms·
From what I understand, Vdash does not execute code (actually run it on a backend process, and return the result) written in a standard programming language, wh
by clemesha 17y ago
From what I understand, Vdash does not execute code (actually run it on a backend process, and return the result) written in a standard programming language, where as codenode and sagenb do.
- hendler 17y agoVdash 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