- Overview
- Alternatives
- Pros & Cons
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Isabelle Information
Categories:
Platforms:
Pricing:
License: