isabelle-plugin-api

Plugin API for Isabelle

Name		Name	Last commit message	Last commit date
Latest commit History 105 Commits
src		src
tests		tests
.gitignore		.gitignore
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md

Provide feedback