gteege / gentle-isabelle

A gentle introduction to Isabelle and Isabelle/HOL
10Updated 3 months ago

Related projects

Alternatives and complementary repositories for gentle-isabelle