GitHub - TypicalMath/lambda2: An implementatino of λ2 system, with some simple properties · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
.gitignore		.gitignore
examples.v		examples.v
lambda2.v		lambda2.v

About

An implementatino of λ2 system, with some simple properties

Custom properties

0 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages