/AOT

Embedding of The Theory of Abstract Objects in Isabelle/HOL

Primary LanguageIsabelleOtherNOASSERTION

Stargazers