A small and simple set of automated proofs written in Isabelle
Primary LanguageIsabelle
This repository is not active