A Collection of Isabelle Programming Hacks
Primary LanguageStandard MLBSD 2-Clause "Simplified" LicenseBSD-2-Clause