profile
viewpoint

eholk/coq-stlc

Proof of type safety for Simply Typed Lambda Calculus in Coq.

https://github.com/eholk/coq-stlc

eholk

viewpoint

Express your opinions freely and help others including your future self

Issues rank

No questions were found.

contributors (According to the first 100)

eholk