tarski

There are 0 repository under tarski topic.

• MrHug / Tarskis-World

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

  unitytarski
  Language:C# 6

• tbitai / ruzsa

  Analytic tableau proof editor for Tarski's World

  logiceducationanalytic-tableauxlanguage-proof-and-logiclpltarskifitch
  Language:JavaScript 4