Lean4 type theory
Implementation of different type theories in Lean4.
Build and run
Install elan
, nightly version of Lean4. Choose directory and run lake build
.
Implementation of different type theories in Lean4
GitHub Link DocumentationTODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.
Implementation of different type theories in Lean4.
Install elan
, nightly version of Lean4. Choose directory and run lake build
.