search

AU-COBRA / ConCert

A framework for smart contract verification in Coq
MIT License
114 stars 19 forks source link

Move elm extraction #220

Closed 4ever2 closed 1 year ago

4ever2 commented 1 year ago

Move elm extraction to https://github.com/AU-COBRA/coq-elm-extraction