PE

peterzeller/isabelle-by-example

Example driven tutorial on Isabelle/HOL

No README found.

Languages

Scala50.9%Isabelle44.0%TeX4.8%Makefile0.4%

Contributors

Created February 15, 2020

Updated May 13, 2025

peterzeller/isabelle-by-example | GitHunt