Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

Tree Proof Generator

umsu.de
Visit Site

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

Category
Software
Visits
297
Added
Apr 14, 2024
Rating
(134)
Rate This Site
More in Software Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Database of Existing Mechanized Reasoning Systems 458 visits
MUltlog 433 visits
Proof General 421 visits
Church 420 visits
ProofPower 414 visits
Get the best links delivered weekly — hand-picked from 1,200,810 resources