isabelle-dm is a Data Model crate for Isabelle project. It provides structures that are shared between the Core and UI projects.
Feel free to contribute to this project by submitting pull requests.
MIT
isabelle-platform/isabelle-dm
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|