profile
viewpoint

dselsam/tc

Reference type checker for the Lean theorem prover

https://github.com/dselsam/tc

dselsam

viewpoint

Express your opinions freely and help others including your future self

contributors (According to the first 100)