profile
viewpoint

MaboroshiChan/trepplein

Lean type-checker written in Scala.

https://github.com/MaboroshiChan/trepplein

MaboroshiChan

viewpoint

Express your opinions freely and help others including your future self

contributors (According to the first 100)

gebner