Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
DescrLogic
ALC description logic deeply embedded in Lean 4
Lean
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
3mo ago
Recent commits
Latest commits.
Add key ALC metatheorems and expand README
439ec2c
Leonardo de Moura
3mo ago
Improve README for non-Lean audience
b3c902a
Leonardo de Moura
3mo ago
Add command macros and README
63bd1e2
Leonardo de Moura
3mo ago
Add KB builder for declarative interpretation definitions
01fd227
Leonardo de Moura
3mo ago
ALC description logic deeply embedded in Lean 4
703722e
Leonardo de Moura
3mo ago
Top contributors
Builders behind this project.
leodemoura
5 commits
