B
art
K
astermans
Homepages 🌐
http://kasterma.net
Entries
2009
An Example of a Cofinitary Group in Isabelle/HOL
by
Bart Kastermans
🌐
Aug 04