first step toward migration to dune/jbuilder and topkg: it builds! - Githubissues

grayswandyr / electrod

Formal analysis for the Electrod formal specification language

Other

13 stars 4 forks source link

first step toward migration to dune/jbuilder and topkg: it builds! #1

Closed grayswandyr closed 6 years ago

grayswandyr commented 6 years ago

Thank you.