Technische Universitat Munchen
| Tool | Description |
|---|---|
| Isabelle | Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal … |
| Tool | Description |
|---|---|
| Isabelle | Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal … |