TPTP tptp.org ↗
A long-maintained benchmark library of problems for automated theorem provers.
OtherOthertheorem-provingbenchmark
Captured
Recommended in 1 thread
Could a modern chess engine on a Pentium have defeated Kasparov in 1996?nicholas.carlini.com ·
Cited as evidence that symbolic reasoning reaches superhuman results on modest hardware.
Similar tools
- Lean ↗Languages & runtimes12 threads
An interactive theorem prover and programming language used to formalize mathematical proofs.
- OpenMP ↗Frameworks & libraries1 thread
A portable API for shared-memory and offloaded parallel programming in C, C++ and Fortran.
- Tasmota ↗Other1 thread
Open-source replacement firmware for ESP-based smart devices with local MQTT and HTTP control.
- 0 threads
- Literate Programming ↗Dev tools0 threads
A programming approach that interweaves code with prose explanations of its logic.
- 1 thread
- 1 thread
- AT Protocol ↗Networking1 thread
An open protocol for decentralized social networking that supports third-party custom feeds.
Also in Other
- 5 threads
- 3 threads
- 3 threads
- All Brains Belong ↗2 threads
An organisation publishing resources on health issues comorbid with autism and ADHD.
- Base Power ↗2 threads
A company that installs home batteries and acts as the customer's power provider using time-of-use arbitrage.
- 2 threads
- 2 threads
- 2 threads
- 2 threads
- 2 threads
- 2 threads
- The Orville2 threads
A science-fiction TV series inspired by Star Trek.
Link from a commenter, not checked or endorsed by us: ↗ https://www.tptp.org/