Kategorischer Imperativ in Isabelle/HOL (experimental)
Primary LanguageIsabelle
No issues in this repository yet.