4 ms·I have read a fair bit about use of hs-to-coq and coq-haskell; Coq is a nice tool for sure!by agentultra 8y agoI have read a fair bit about use of hs-to-coq and coq-haskell; Coq is a nice tool for sure!