Isabelle, an “Academial strength” theorem proving environment, is built on PolyML, and has many features for making ML development more pleasant. https://web.c

Isabelle, an “Academial strength” theorem proving environment, is built on PolyML, and has many features for making ML development more pleasant. https://web.cs.wpi.edu/~dd/resources_isabelle/isabelle_programming.urban.pdf https://web.cs.wpi.edu/~dd/resources_isabelle/isabelle_progr... https://isabelle.systems/ https://isabelle.systems/