Lambda Cube in Lean4

Implementations of the Lambda Cube.

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
LambdaCube		LambdaCube
.envrc		.envrc
.gitignore		.gitignore
LambdaCube.lean		LambdaCube.lean
Main.lean		Main.lean
README.org		README.org
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
shell.nix		shell.nix

Provide feedback