Data as of Jul 25, 2026 · Based on 2,718,867 AI responses across 9,511 prompts · See how Parse measures this
Isabelleisabelle.in.tum.deIsabelle is a generic proof assistant that allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. It is distributed for free under open source licenses and includes a vast collection of examples and applications from the Archive of Formal Proofs.
IsabelleParse Score
