Giters

trommler / 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

trommler/hs-to-coq Issues