lean-rz

Public

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

About

Realizability theory in lean

Activity

Stars

5 stars

Watchers

2 watching

Forks

1 fork

Report repository

main

BranchesTags

Go to file

Code

Open more actions menu

Latest commit

 

History

38 Commits

38 Commits

Folders and files

Name		Name	Last commit message	Last commit date
Rz		Rz
.gitignore		.gitignore
Rz.lean		Rz.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
View all files

About

Realizability theory in lean

Activity

Stars

5 stars

Watchers

2 watching

Forks

1 fork

Report repository

Releases

Packages

Contributors

Languages