1
VersionMuseum
versionmuseum.comAlso covers humanities · same kind of website
Version Museum presents a visual history of websites, operating systems, apps, and games through original screenshots.
Alternatives
The Best Proofs Alternatives in 2026
24 alternatives0 free · 1 open source
Looking for something like Proofs? Here are 24 alternatives, ranked by how closely they match it on purpose, features and platforms. Of these, 1 are open source.
This proof editor and checker demonstrates Fitch-style natural deduction systems used in introductory logic textbooks.
Top picks at a glance
First suggestionVersionMuseumVersion Museum presents a visual history of websites…Open source optionCLTKThe Classical Language Toolkit is a Python library for…Another optionnLab PhilosophyThis nLab page gathers material about philosophy, including…
Quick comparison
| # | Alternative | Pricing | Open source | Platforms |
|---|---|---|---|---|
| 1 | VersionMuseum | — | Not stated | Web |
| 2 | nLab Philosophy | — | Not stated | Web |
| 3 | ModalLogic | — | Not stated | Web |
| 4 | CLTK | — | Yes | — |
| 5 | Stanford Encyclopedia of Philosophy | — | Not stated | Web |
| 6 | Logitext | — | Not stated | Web |
| 7 | U-boat Archive | — | Not stated | Web |
| 8 | PessimistsArchive | — | Not stated | Web |
| 9 | ABookOfCreatures | — | Not stated | Web |
| 10 | Cost of Living | — | Not stated | Web |
All Proofs alternatives
2
nLab Philosophy
ncatlab.org/nlab/show/philosophyAlso covers humanities · same kind of website
This nLab page gathers material about philosophy, including ontology, logic, and related topics.
3
ModalLogic
rkirsling.github.io/modallogicAlso covers humanities · same kind of website
This modal logic playground lets users edit a model and evaluate formulas using selected truth values.
4
Also covers humanities · open source
The Classical Language Toolkit is a Python library for natural language processing of pre modern languages.
5
Also covers humanities · same kind of website
The Stanford Encyclopedia of Philosophy provides an online encyclopedia with browse tools, new entries, and chronological archives.
6
Also covers humanities · same kind of website
The Logitext interactive tutorial teaches the sequent calculus through a simple set of inference rules.
7
U-boat Archive
uboatarchive.netAlso covers humanities · same kind of website
The U-boat Archive provides documents and photographs about the Battle of the Atlantic.
8
PessimistsArchive
pessimistsarchive.orgAlso covers humanities · same kind of website
Pessimists Archive documents historical panics about technology through a timeline and related articles.
9
ABookOfCreatures
abookofcreatures.comAlso covers humanities · same kind of website
A Book of Creatures is a guide to beings from myth, legend, and folklore.
10
Cost of Living
numbeo.com/cost-of-livingAlso covers humanities · same kind of website
Cost of Living provides cost-of-living data and information about the Numbeo API.
11
Ultimateretro
gitlab.com/ultimateretro/ultimateretroAlso covers humanities · same kind of website
The Retro Web documents computer hardware, with its catalog presented through a web application.
12
VGA Museum
vgamuseum.infoAlso covers humanities · same kind of website
The VGA Museum catalogs video graphics hardware by company and category.
13
Inuit Myths
inuitmyths.com/index.htmAlso covers humanities · same kind of website
This page documents Inuit mythology and traditional stories, with material presented in Inuktitut.
14
Theoi
theoi.comAlso covers humanities · same kind of website
Theoi Project is a reference guide to Greek mythology, exploring gods, spirits, creatures, and heroes through classical literature and art.
15
rip.so
rip.soAlso covers humanities · same kind of website
rip.so is a digital graveyard memorializing discontinued messengers, social networks, browsers, gadgets and websites.
16
OilPrice
oilprice.comAlso covers humanities · same kind of website
OilPrice publishes crude oil and gas price charts, futures information, energy news, and investment coverage.
17
EveryPolitician
everypolitician.orgAlso covers humanities · same kind of website
EveryPolitician tracks political office holders, including legislators, judges, and rulers around the world.
18
Sued by Nintendo
suedbynintendo.comAlso covers humanities · same kind of website
Sued by Nintendo collects lawsuits and legal actions involving Nintendo.
19
Wealth, Shown to Scale
wealth.ronnycoste.comAlso covers humanities · same kind of website
Wealth, Shown to Scale visualizes differences in wealth using comparisons from household income to billionaire fortunes.
20
The Retro Web
theretroweb.comAlso covers humanities · same kind of website
The Retro Web provides a motherboard database with search and filters for vintage computers.
21
Umsu
umsu.de/treesAlso covers humanities · same kind of website
Umsu offers a reference for mathematical and logical symbols, including connectives and quantifiers.
22
DataUSA
datausa.ioAlso covers humanities · same kind of website
Data USA provides visualizations and reports based on public U.S. government data.
23
iCivics
icivics.org/gamesAlso covers humanities · same kind of website
iCivics provides educational resources and activities about civics for classroom use.
24
Seterra
seterra.comAlso covers humanities · same kind of website
Seterra offers more than 400 geography map quizzes, with printable materials for educators and mobile play.
No alternatives match this filter.
Alternatives to similar tools
Stanford Encyclopedia of Philosophy24 alternativesLogitext24 alternativesPessimistsArchive24 alternativesVGA Museum24 alternativesABookOfCreatures24 alternativesUltimateretro24 alternatives
What is the best alternative to Proofs?
Based on features, tags and platforms, the closest alternatives to Proofs are VersionMuseum, nLab Philosophy, and ModalLogic.
Are there open-source alternatives to Proofs?
Yes: CLTK.
Alternatives are suggested from the purpose and features described in our listings. Different pages for the same product appear once. Read each description to check whether it fits your task. How we choose alternatives · Suggest an alternative