1. Home
  2. Science
  3. Mathematics
  4. Tree Proof Generator

Science · Mathematics

Tree Proof Generator

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Tree Proof Generator

Tree Proof Generator- An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.

Tags

Meetings

Where it sits

Science Mathematics

More in Mathematics

See all →