Giters

javra / iit

Lean 4 IITs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Inductive-Inductive Types for Lean 4

Example usage can be found in Example.lean.

About

Lean 4 IITs

Languages

Language:Lean 99.5%Language:Nix 0.5%