Name		Name	Last commit message	Last commit date
src		src
tools		tools
.gitignore		.gitignore
Cargo.toml		Cargo.toml
Jenkinsfile		Jenkinsfile
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md

Repository files navigation

Isabelle Data Model

isabelle-dm is a Data Model crate for Isabelle project. It provides structures that are shared between the Core and UI projects.

Contributing

Feel free to contribute to this project by submitting pull requests.

License

MIT

About

Isabelle data model

data model serialization

Custom properties

0 stars

0 watching

Report repository

Releases

Packages

Used by

Contributors

Languages