This nLab page gathers material about philosophy, including ontology, logic, and related topics.
Proofs
vsSeterra
Proofs vs Seterra
How do Proofs and Seterra compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Proofs | Seterra |
|---|---|---|
| What it is | This proof editor and checker demonstrates Fitch-style natural deduction systems used in introductory logic textbooks. | Seterra offers more than 400 geography map quizzes, with printable materials for educators and mobile play. |
| Website | ||
| Type | Website | Website |
| Topic | ||
| Pricing | Not confirmed | Not confirmed |
| Platforms | Web | Android, Web |
| Open source | Not stated | Not stated |
| Language | English | English |
| Alternatives |
Other options to consider
Sites similar to both Proofs and Seterra.
This page documents Inuit mythology and traditional stories, with material presented in Inuktitut.
The Stanford Encyclopedia of Philosophy provides an online encyclopedia with browse tools, new entries, and chronological archives.
Pick
24 alternativesThe Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.
Pick
24 alternatives
iCivics provides educational resources and activities about civics for classroom use.