https://palomar-registry.org/about
A sorta "beefed up" https://isa-afp.org/ for Lean 4 (and possibly other provers in the future).
Post #1588
382
- Oct 6, 2026https://scp-wiki.wikidot.com/scp-610 Suddenly it became even funnier. Or less funny depend…
- Oct 5, 2026— Does structural integrity still hold? — Vacuously. — What do you mean? — There ain't no…
- Oct 5, 2026https://www.lms.ac.uk/events/lms-bcs-facs-seminar-2026 12 November 2026, 16:00 - 18:30 "Al…
- Oct 1, 2026Terminator: The Sarah Connor Chronicles Season 2 but unironically.
- Sep 20, 2026Если бы жил в Таиланде и завёл местного кота, определённо, назвал бы его Таймыр.
- Sep 19, 2026https://www.youtube.com/watch?v=xkKeGtIalXM Yeah... Now I feel like Rents but without any…