gentzen

Star

Here are 3 public repositories matching this topic...

slbtty / ebproof

Star

[A repo mirror as allowed by the LICENSE] A LaTeX package to typeset formal proofs in the style of sequent calculus.

latex logistics gentzen

Updated Jan 12, 2022
TeX

malstan / Interactive-Proof-System

Star

This application is used for interactive proving of logical formulas. It supports propositional, intuitionist and predicate logic. It proves using natural deduction or sequent calculus. The proof is displayed as Gentzen or Fitch notation.

logic proving gentzen

Updated Sep 14, 2024
JavaScript

canbaykar / Twig

Star

Educational proof assistant. Make Gentzen-style derivations via drag-and-drop.

drag-and-drop web-app logic proof-assistant educational natural-deduction gentzen

Updated Mar 1, 2026
TypeScript

Improve this page

Add a description, image, and links to the gentzen 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 gentzen topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

gentzen

Here are 3 public repositories matching this topic...

slbtty / ebproof

malstan / Interactive-Proof-System

canbaykar / Twig

Improve this page

Add this topic to your repo