3 ms·

Thanks for those two links. Verified, versioned math is better, and more sustainable like http://www.vdash.org/ http://www.vdash.org/ . How does Vdash differ fr

• 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 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