tarski

Here are 4 public repositories matching this topic...

Simple Unity "game" to help you practice with predicate logic.

unity tarski

Analytic tableau proof editor for Tarski's World

education logic fitch lpl language-proof-and-logic tarski analytic-tableaux

🔢Raccolta di esercizi in Fitch, Boole e Tarski's World per il corso di Logica Matematica in UNIMI

university math proof logic-programming of induction milano fitch logica tarski-axiom unimi milan fitch-proofs logical-programming tarski boole fitch-algorithm tarski-s-world

Tarski's world in Doodle

world logic first-order-logic doodle scala3 tarski

Add a description, image, and links to the tarski topic page so that developers can more easily learn about it.

To associate your repository with the tarski topic, visit your repo's landing page and select "manage topics."