Haskell proof-assistant

Open-source Haskell projects categorized as proof-assistant
Edit details
Haskell Dependent Types Logic GHC Data structures
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured

Top 4 Haskell proof-assistant Projects

proof-assistant

  1. Agda

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

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  3. rzk

    An experimental proof assistant based on a type theory for synthetic ∞-categories.

  4. hout

    A non-interactive proof assistant using the Haskell type system

  5. type-natural

    Type-level well-kinded natural numbers.

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).

Haskell proof-assistant discussion

Log in or Post with

Haskell proof-assistant related posts

  • RZK: Experimental proof assistant for synthetic ∞-categories

    1 project | news.ycombinator.com | 28 Sep 2023

  • Types versus sets (and what about categories?)

    1 project | news.ycombinator.com | 31 Aug 2023

  • If given a list of properties/definitions and relationship between them, could a machine come up with (mostly senseless, but) true implications?

    5 projects | /r/math | 11 Jul 2023

  • What are the current hot topics in type theory and static analysis?

    15 projects | /r/ProgrammingLanguages | 8 May 2023

  • Amendmend proposal: Changed syntax for Or patterns

    2 projects | /r/haskell | 14 Apr 2023

  • Functional Programming and Maths <|> How can a code monkey learn Agda?

    1 project | /r/functionalprogramming | 26 Mar 2023

  • Doom emacs and agda-mode

    2 projects | /r/emacs | 22 Mar 2023
  • A note from our sponsor - SaaSHub
    www.saashub.com | 17 May 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

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

# Project Stars
1 Agda 2,630
2 rzk 224
3 hout 37
4 type-natural 34

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
Loading...