/lean-universal

Multi-sorted equational logic in Lean

Primary LanguageLeanApache License 2.0Apache-2.0

Lean Universal

Formalization of multi-sorted equational logic in Lean.