This nLab page gathers material about philosophy, including ontology, logic, and related topics.
Proofs
vsStanford Encyclopedia of Philosophy
Proofs vs Stanford Encyclopedia of Philosophy
How do Proofs and Stanford Encyclopedia of Philosophy compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Proofs | Stanford Encyclopedia of Philosophy |
|---|---|---|
| What it is | This proof editor and checker demonstrates Fitch-style natural deduction systems used in introductory logic textbooks. | The Stanford Encyclopedia of Philosophy provides an online encyclopedia with browse tools, new entries, and chronological archives. |
| 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 Stanford Encyclopedia of Philosophy.
The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.
Pick
24 alternatives
The U-boat Archive provides documents and photographs about the Battle of the Atlantic.
Pessimists Archive documents historical panics about technology through a timeline and related articles.
Seterra offers more than 400 geography map quizzes, with printable materials for educators and mobile play.
A Book of Creatures is a guide to beings from myth, legend, and folklore.