Skip to content

TOTBWF/lean-rz

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

38 Commits
 
 
 
 
 
 
 
 
 
 
 
 

About

Realizability theory in lean

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages