/iit

Lean 4 IITs

Primary LanguageLean

Inductive-Inductive Types for Lean 4

Example usage can be found in Example.lean.