discus-lang / iron

Coq formalizations of functional languages.

Home Page:iron.ouroborus.net

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

discus-lang/iron Stargazers