All Categories → No Category → proof-automation

Top 4 proof-automation open source projects

proof-tree-builder.github.io

A web-based graphical proof assistant for LK and Hoare logic.

✭ 17

javascript HTML PEG.js graphical-user-interface hoare-logic proof-automation sequent-calculus

⛏️ A refinement proof framework for haskell

✭ 53

haskell proof-refinement proof-automation

Proof automation – for Agda, in Agda.

✭ 38

Agda ruby paper agda no-longer-maintained proof-automation

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

✭ 43

ocaml Coq Makefile shell coq coq-plugin proof-automation pumpkin-patch proof-repair

1-4 of 4 proof-automation projects