GitHub - TOTBWF/lean-rz: Realizability theory in lean

Name	Name	Last commit message	Last commit date
Latest commit TOTBWF def: more optimizations Jun 11, 2024 dab1511 · Jun 11, 2024 History 38 Commits
Rz	Rz	def: more optimizations	Jun 11, 2024
.gitignore	.gitignore	def: initial commit	May 22, 2024
Rz.lean	Rz.lean	wip: `Simp` class	Jun 9, 2024
lake-manifest.json	lake-manifest.json	wip: `Simp` class	Jun 9, 2024
lakefile.lean	lakefile.lean	wip: `Simp` class	Jun 9, 2024
lean-toolchain	lean-toolchain	wip: `Simp` class	Jun 9, 2024