gteege / gentle-isabelle

A gentle introduction to Isabelle and Isabelle/HOL
11Updated this week

Alternatives and similar repositories for gentle-isabelle:

Users that are interested in gentle-isabelle are comparing it to the libraries listed below