/oml.lean4

Experiments in defining the Ontological Modeling Language in Lean4

Primary LanguageLean

Watchers