Giters

carnotweat / hs-to-coq

Convert Haskell source code to Coq source code.

Home Page:https://hs-to-coq.readthedocs.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

carnotweat/hs-to-coq Issues

No issues in this repository yet.