/isabelle-zf-experiments

OUTDATED: See now https://bitbucket.org/cezaryka/tyset/ for newer experiment with soft types in Isabelle.

Primary LanguageIsabelleOtherNOASSERTION

Stargazers

No one’s star this repository yet.