alexkrauss/isabelle-zf-experiments
OUTDATED: See now https://bitbucket.org/cezaryka/tyset/ for newer experiment with soft types in Isabelle.
IsabelleNOASSERTION
Stargazers
No one’s star this repository yet.
OUTDATED: See now https://bitbucket.org/cezaryka/tyset/ for newer experiment with soft types in Isabelle.
IsabelleNOASSERTION
No one’s star this repository yet.