SaaSHub helps you find the best software and product alternatives Learn more →
Top 4 Haskell proofassistant Projects

This was recently deemed inappropriate:
"Bye bye Set"
"Set and Prop are removed as keywords"
https://github.com/agda/agda/pull/4629

InfluxDB
Power RealTime Data Analytics at Scale. Get realtime insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in realtime with unbounded cardinality.

Project mention: RZK: Experimental proof assistant for synthetic ∞categories  news.ycombinator.com  20230928


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 proofassistant discussion
Haskell proofassistant related posts

RZK: Experimental proof assistant for synthetic ∞categories

Types versus sets (and what about categories?)

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

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

Amendmend proposal: Changed syntax for Or patterns

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

Doom emacs and agdamode

A note from our sponsor  SaaSHub
www.saashub.com  24 Jul 2024
Index
What are some of the best opensource proofassistant projects in Haskell? This list will help you:
Project  Stars  

1  Agda  2,421 
2  rzk  196 
3  hout  34 
4  typenatural  33 