PaperFormalizer’s proof ledger
A public index of research papers paired with proposed revisions and Lean 4 proofs of their results.
Across every issue
Search
Titles, domains, summaries, categories, signals, dates, and editorial-interest scores across the entire published catalogue.
Results
143,648 catalogue cards
-
-
Perpdle: A Daily True-Crime Puzzle
A daily deduction game asks players to identify a convicted public figure using clues, evidence folders, and up to five guesses.
-
Pet Recall Facts puts FDA pet reports in context
A public guide to FDA pet-food and medicine recalls, with adverse-event reports organized by ingredient, breed, and reported sign.
-
PHP2Shell.fyi’s evidence-first PHP checker
A free checker reads the PHP version a site publicly reports, compares it with fixed releases, and offers an optional active scan.
-
Play Crípticos: Spanish cryptic clues, with the workings shown
A free Spanish-language cryptic crossword game with an explainer, practice clues, an archive, and a daily challenge.
-
Evermyth makes godhood a village-management problem
An iPhone god-life simulator where you choose a divine domain, answer villagers’ prayers, and shape an island over time.
-
Pocket Reserve: an ecology game in the sky
A browser game where players plant habitat tiles and make room for wildlife on a floating nature reserve.
-
Poem a Week’s daminozide wall
A collaborative poetry project gives visitors a weekly word prompt and a place to pin up poems using it.
-
Puro SA puts San Antonio’s street budget on the record
An independent local news site covering San Antonio City Hall, Spurs games, events, food, weather, and data.
-
Quartiers Libres: Brest, Built in Conversation
A browser-playable game of Brest pairs seven quests with a seven-part course on creating software through conversation with an agentic AI.
-
Real Crash Rank’s all-vehicle safety scale
A vehicle-safety ranking compares cars, SUVs, pickups, and vans by driver deaths in real-world crashes.
-
Rigsby Replays: retro games, with the replay conditions attached
A retro-gaming publication pairing modern reviews and practical setup guides with a small-run print edition.
-
Roamcab puts you on taxi duty in your real city
A free browser game where you drive a taxi around real streets, pick up chatty passengers, dodge fines, and compete on a city leaderboard.
-
Rotgild: a still-life RPG where things rot
Rotgild presents a turn-based RPG set inside a Dutch still-life painting, where players lead four Sitters and manage objects as they age.
-
RougeFPS: The Shattered Reliquary
A desktop browser arena shooter sends you through five encounters of loot, weapon upgrades, and haunted-frontier monsters.
-
独奕 Solo Arcanum: Magic Without a Pod
A free Magic: The Gathering client for desktop and Android, with Chinese card text, many play formats, and offline games against AI.
-
Sapheld: Five Soldiers, One Very Long Trench
An Indonesian-language landing page for a turn-based fantasy RPG about five Carrow soldiers trying to make their way home through 400 kilometers of trenches.
-
Schutznetz Berlin puts neighborhood solidarity on a shift schedule
The site describes a volunteer effort to provide visible, two-person presence outside Berlin businesses and institutions that request support.
-
Science in 8bit
Forty-second pixel-art films explain the science tucked inside everyday things, each built around an exact number.
-
Semen Analysis, Explained
A plain-language guide to semen analysis results, with linked sources, WHO 2021 reference ranges, and a tool for placing reported values in context.
-
ShaperLab Pro turns surfboard shaping into a measured digital workflow
Surfboard design software for shaping boards, checking their dimensions and volume, and exporting files for CAD, templates, printers, or CNC machines.
-
Shennannigans: a TI-99/4A homebrew workshop
A personal TI-99/4A project site collecting the Tidepod development suite, homebrew games, technical demos, and downloads.
-
空のうたたね: literature turned into accessories
A Japanese project makes accessories inspired by literature, pairing each piece with its source work and an interpretation in three forms: object, image, and text.
-
Station Clock brings railway time to an ESP32
An open-source firmware project that puts German DB or Swiss railway clock faces on a specified ESP32-S3 AMOLED display, with a browser-based installer.