Haskell Logic Theorem Provers

5 Theorem Provers packages and projects

• tamarin-prover

  9.7 7.7 Haskell

  The Tamarin prover for security protocol analysis.

• tip-haskell-frontend

  7.5 0.6 Haskell

  Convert from Haskell to Tip

• Folly

  4.9 0.0 Haskell

  A first order logic library in Haskell

SaaSHub - Software Alternatives and Reviews

SaaSHub will help you find the best software and product alternatives

Promoted www.saashub.com



• haskhol-core

  4.6 0.0 Haskell

  The core logical system of HaskHOL, an EDSL for HOL theorem proving.

• qed

  2.9 0.0 Haskell

  Simple prover

Popular Comparisons

• tamarin-prover
  vs
  qed
• tamarin-prover
  vs
  tip-haskell-frontend
• haskhol-core
  vs
  picosat
• tamarin-prover
  vs
  picosat
• qed
  vs
  picosat

99 Remote Jobs

Work from home. Anywhere in the world.
+ Post a job

• Software Engineer (Backend) at Kea
  Dev, Node.js, Postgresql
• Senior Full-stack Engineer (React, Node.js) - Remote at SemanticBits
  Dev, Reactjs, Node.js
• Software Engineer - Search/Data (Remote, US Timezones Only, Fulltime/Benefits) at Gaia GPS
  Dev, Python, Postgresql
• Software Engineer - Full Stack at 6 River Systems
  Dev, Typescript, Javascript
• Software Engineer - Spacecraft Flight Dynamics System (FDS) at Advanced Space, LLC
  Dev, Space, Kubernetes
• DevOps engineer for Esports at FirstBlood
  DevOps, Amazon-web-services, Kubernetes
• Senior Software Engineer - Web Monetization Ecosystem for Content Creators at Coil
  Dev, Javascript, Node.js
• Principal Software Engineer (Remote) at Hobsons
  Dev, Javascript, Reactjs
• Senior Backend Engineer (m/w/x) - remote possible at Jimdo
  Dev, Python, Django
• Software Engineer III - Business Systems at CNC Software, Inc
  Dev, C#, Asp.net-mvc