fitch-proofs topic

List fitch-proofs repositories

LPL

20
Stars
143
Forks
Watchers

📚Solutions to Language, Proof and Logic (2nd Edition)

verified publisher icon carlosantq

fitchjs

28
Stars
5
Forks
Watchers

Fitch style proof constructor

verified publisher icon mrieppel

LPL-solutions

67
Stars
155
Forks
Watchers

Solutions for the book "Language Proof and Logic".

verified publisher icon Jumaruba