Apps tagged with 'isabelle-isar-proof-language'

All apps in Apps tagged with 'isabelle-isar-proof-language' category. Use the filters below to narrow down your search. 
Copy a direct link to this comment to your clipboard
  1. Isabelle icon

    Isabelle

     3 likes

    Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

    Cost / License

    • Free
    • Open Source

    Platforms

    • Mac
    • Windows
    • Linux
    Isabelle screenshot 1
    4 alternatives