Simple, faster parser for "value terms" in Isabelle.
Primary LanguageIsabelleOtherNOASSERTION
No one’s star this repository yet.