Haskell proof-assistant

Open-source Haskell projects categorized as proof-assistant | Edit details

Top 3 Haskell proof-assistant Projects

  • Agda

    Agda is a dependently typed programming language / interactive theorem prover.

    Project mention: I solved collatz, but I have no idea how to write a paper. | reddit.com/r/Collatz | 2022-05-15

    Learn how to use a formal proof assistant. Coq and Agda are the most popular. Both allow you to write a proof as a program instead of as a paper, and provide various tools for formally checking your proof.

  • type-natural

    Type-level well-kinded natural numbers.

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • hout

    A non-interactive proof assistant using the Haskell type system

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2022-05-15.

Haskell proof-assistant related posts


What are some of the best open-source proof-assistant projects in Haskell? This list will help you:

Project Stars
1 Agda 1,817
2 type-natural 32
3 hout 18
Find remote jobs at our new job board 99remotejobs.com. There are 7 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives