3 ms·

Looks very cool, but what I've wondered - there is any other tool like Isabelle? upd. https://en.wikipedia.org/wiki/Proof_assistant https://en.wikipedia.org/wik

by bdrum 4y ago

Looks very cool, but what I've wondered - there is any other tool like Isabelle? upd. https://en.wikipedia.org/wiki/Proof_assistant https://en.wikipedia.org/wiki/Proof_assistant

ykonstant 4y ago
In the mathematical community, the best known proof assistants are Coq, Lean and Isabelle.