Skip to content

gebner/trepplein

Error
Looks like something went wrong!

About

Lean type-checker written in Scala.

Topics

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages