A formalization of geometry in Coq based on Tarski's axiom system

Tarski - An AI Planning Modeling Framework

An elegant, flexible WordPress theme

Formal proof in Coq of Banach-Tarski paradox.

A formalization of the Banach-Tarski theorem in Lean

No description available

Validations for Scala

Voevodsky's notes from the summer of 2012 on a design of a universe polymorphic type system with Tarski universes

A Platform for Automated Analysis of Traceability (WP3)

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

Stütze durch "Tarski's World", "Fitch" und "Boole"

Tarski's world: semantics of first-order logic

No description available

A system for computing with Tarski Formulas / Semi-Algebraic Sets.

Analytic tableau proof editor for Tarski's World

Solutions for Tarski's Introduction to Logic

Old-style computational semantics at the time of Python 3.6

A few tools I've written to aid development and production of my WordPress theme, Tarski.

An interactive visualization of Banach-Tarski rotations for MIT's Paradox and Infinity Course.

Community translations for the Tarski WordPress theme

Interactive theorem prover

A lambda calculus with tarski universes, pi types, and self-referential expressions

Chad Brown’s Egal, a theorem prover for higher-order Tarski–Grothendieck set theory

A program that removes quantifiers in statements involving rational functions using Tarski-Seidenberg algorithm

Formalization of "The Axiomatic Method in Biology" (1937) by Woodger, Tarski and Floyd, in SNARK.

The University of Groningen uses a piece of software named Tarski's World. This is a full documentation of it's format as well as different implementations of the format.

Simple library to create and extract tar archives and allows for content hashes.

Companion to Tarski

Customised version of Tarski for the theme website

Tarski's geometry - archived since the formalization is now maintained as part of GeoCoq