lambda-cube

Public

• NotificationsYou must be signed in to change notification settings
• Fork0 (0)
• Star5 (5)You must be signed in to star a repository

About

lambda cube in lean4

Topics

lambda-cubelean4type-theory

Resources

Readme

Activity

Stars

5 stars

Watchers

1 watching

Forks

0 forks

Report repository

master

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

25 Commits

25 Commits

Folders and files

Name		Name	Last commit message	Last commit date
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
View all files

Repository files navigation

Lambda Cube in Lean4

Implementations of the Lambda Cube.

About

lambda cube in lean4

Topics

lambda-cubelean4type-theory

Resources

Readme

Activity

Stars

5 stars

Watchers

1 watching

Forks

0 forks

Report repository

Contributors

Languages