Haskell theorem-proving

Open-source Haskell projects categorized as theorem-proving
Edit details
Haskell Logic Math Parsing Formal Methods
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Haskell theorem-proving Projects

theorem-proving

  1. zsyntax

    Automated theorem prover for a linear logic-based calculus for molecular biology.

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo

  3. tptp

    Parser and pretty printer for the TPTP language

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 theorem-proving discussion

Log in or Post with

Haskell theorem-proving related posts

  • 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

  • Monthly Hask Anything (January 2022)

    4 projects | /r/haskell | 3 Jan 2022

  • Is Haskell a good language for CAS/numerical analysis?

    6 projects | /r/haskell | 21 Jul 2021

Index

# Project Stars
1 zsyntax 11
2 tptp 7

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?

Loading...