Skip to content
#

proof-editor

Star

Here are 2 public repositories matching this topic...

Language: All
Filter by language
All 2 Haskell 1 Java 1

joe-lynch / ODPE

Star 2

The Open Deduction Proof Editor allows proof theorists (or anyone) to deconstruction proofs step by step. It currently supports deep inference formalisms, namely Open Deduction and naturally the Calculus of Structures. The front end of the application is written in Java, while the back end is written in Maude. There is also an implementation of …

java maude graphical-user-interface proof-automation maude-language proof-theory proof-editor
  • Updated Nov 12, 2020
  • Java

Improve this page

Add a description, image, and links to the proof-editor topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-editor topic, visit your repo's landing page and select "manage topics."

Learn more