Primary LanguageScalaMIT LicenseMIT
A simple example of libisabelle by someone who has no clue about Isabelle.
