Version Museum presents a visual history of websites, operating systems, apps, and games through original screenshots.
Proofs
vsPessimistsArchive
Proofs vs PessimistsArchive
How do Proofs and PessimistsArchive compare? Here are the facts side by side: pricing, platforms, open-source status and what each one is for.
| Directory detail | Proofs | PessimistsArchive |
|---|---|---|
| What it is | This proof editor and checker demonstrates Fitch-style natural deduction systems used in introductory logic textbooks. | Pessimists Archive documents historical panics about technology through a timeline and related articles. |
| 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 PessimistsArchive.
The U-boat Archive provides documents and photographs about the Battle of the Atlantic.
This nLab page gathers material about philosophy, including ontology, logic, and related topics.