fitch

There are 0 repository under fitch topic.

Jumaruba / LPL-solutions
Solutions for the book "Language Proof and Logic".
lpl logic proof fitch-proofs fitch
65
raphaelpor / fitch.js
A lightweight Promise based HTTP client, using Fetch API.
fetch fitch http-client
Language:JavaScript 35
carlosantq / LPL
📚Solutions to Language, Proof and Logic (2nd Edition)
lpl proof logic fitch-proofs fitch
20
Girjoaba / Eunomia
An educational tool for analyzing the correctness of Fitch Proofs.
compiler educational-software fitch fitch-proofs logic
Language:Java 8
ndt93 / Proof-Editor
A Fitch's style natural deduction proof editor
fitch natural-deduction logic discrete-mathematics
Language:JavaScript 6
tbitai / ruzsa
Analytic tableau proof editor for Tarski's World
logic education analytic-tableaux language-proof-and-logic lpl tarski fitch
Language:JavaScript 4
Mroik / fitch
A rust implementation of fitch notation
fitch rust
Language:Rust 3
samdsk / lab-logica
Esercizi del laboratorio di Logica Dati @ Unimi informatica
fitch fitch-proofs lab logica unimi tarski-s-world
2
markpock / fitch-proof-for-propositional-logic
A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.
fitch fitch-proofs formal-logic formal-proofs logic propositional-calculus propositional-logic propositional-proof-system sentential-calculus
Language:Python 1

Jumaruba / LPL-solutions