The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.
Pick
24 alternativesHow do OpenGuessr 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 | OpenGuessr | Stanford Encyclopedia of Philosophy |
|---|---|---|
| What it is | OpenGuessr offers geo-guessing games about countries, cities, and flags. | 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 |
Sites similar to both OpenGuessr and Stanford Encyclopedia of Philosophy.
The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.