haskell-coq

Common Haskell type classes written up in the Coq (GALLINA) theorem prover language for proving properties about Haskell data types and functions [Coq] (by domdere)
Add to my DEV experience Suggest topics
Source Code
Suggest alternative
Edit details
The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
workos.com
Sponsored
Suggest an alternative to haskell-coq

haskell-coq reviews and mentions

Posts with mentions or reviews of haskell-coq. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning haskell-coq yet.
Tracking mentions began in Dec 2020.

Stats

Basic haskell-coq repo stats
1
2
10.0
almost 9 years ago

The primary programming language of haskell-coq is Coq.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com