Descriptive Lean 4 formalization of the Open Knowledge Format (OKF) standard — one model per OKF revision, upstream of okf-tools.
Shell Updated 18 days ago 1 commits
surge-bot|Mirror: agpalindrome/okf-model (⭐0)
18 days agoAbout
Descriptive Lean 4 formalization of the Open Knowledge Format (OKF) standard — one model per OKF revision, upstream of okf-tools.
Readme