Projects in Awesome Lists tagged with fitch-algorithm
A curated list of projects in awesome lists tagged with fitch-algorithm .
https://github.com/emikodes-unimi/esercizi-logica-matematica
🔢Raccolta di esercizi in Fitch, Boole e Tarski's World per il corso di Logica Matematica in UNIMI
boole fitch fitch-algorithm fitch-proofs induction logic-programming logica logical-programming math milan milano of proof tarski tarski-axiom tarski-s-world unimi university
Last synced: 01 Mar 2026
