8000 GitHub - Linyxus/mltt: A tiny MLTT theorem prover · GitHub
[go: up one dir, main page]
Skip to content
Linyxus
mltt
Public

About

A tiny MLTT theorem prover

Resources

Readme
MIT license
Activity

Stars

3 stars

Watchers

1 watching

Forks

0 forks
Report repository
BranchesTags

Latest commit

 

History

58 Commits

Folders and files

NameName
Last commit message
Last commit date
src
src
 
 
tests
tests
 
 
.gitattributes
.gitattributes
 
 
.gitignore
.gitignore
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
build.sbt
build.sbt
 
 

Repository files navigation

mltt

A tiny MLTT theorem prover

About

A tiny MLTT theorem prover

Resources

Readme
MIT license
Activity

Stars

3 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages
0