isabelle-nunchaku

Nunchaku for Isabelle: a frontend for Nunchaku.

Name		Name	Last commit message	Last commit date
Latest commit History 294 Commits
Nunchaku_Examples		Nunchaku_Examples
bin		bin
mockups		mockups
README.md		README.md
TODO.txt		TODO.txt

Navigation Menu