Proofs
vs
Sued by Nintendo

Proofs vs Sued by Nintendo

How do Proofs and Sued by Nintendo compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.

Directory details: Proofs and Sued by Nintendo
Directory detailProofsSued by Nintendo
What it is
This proof editor and checker demonstrates Fitch-style natural deduction systems used in introductory logic textbooks.
Sued by Nintendo collects lawsuits and legal actions involving Nintendo.
Website
Type
Website
Website
Topic
Pricing
Not confirmed
Not confirmed
Platforms
Web
Web
Open source
Not stated
Not stated
Language
English
English
Alternatives

Other options to consider

Sites similar to both Proofs and Sued by Nintendo.

Logitext

logitext.mit.edu/tutorial

The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.