Jumaruba/LPL-solutions

Solutions for the book "Language Proof and Logic".

⭐ 76 | 🍴 155

williamfzc/fitch

[TOY PROJECT] Android UI automation based on opencv :rocket: fitch = fi(nd) & t(ou)ch

⭐ 66 | 🍴 21

OpenLogicProject/fitch-checker

JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)

⭐ 58 | 🍴 6

raphaelpor/fitch.js

A lightweight Promise based HTTP client, using Fetch API.

⭐ 35 | 🍴 5

Formal proof for P → Q ≡ ¬P ∨ Q in Fitch

Answers: 3

¬q, (¬p⇒(¬q⇒¬r)), (s∨r), (s⇒t), and (p⇒t), prove t., using Fitch

Answers: 0

How would one prove ((p ⇒ q) ⇒ p) ⇒ p, using the Fitch system

Answers: 2

I use websocket to fitch data from binance and it doesn't work but it was working before so I dont know what problem

Answers: 1