Isabelle/OFMC - Linking OFMC and Isabelle/HOL
Primary LanguageStandard MLBSD 2-Clause "Simplified" LicenseBSD-2-Clause