anthropics/fermats-last-theorem
Language: Lean
Stars: 458 Issues: 1 Forks: 30
https://github.com/anthropics/fermats-last-theorem
Post #13744
1.37K
- Sep 27, 2026kryvora-network/kryvora-node Reference client daemon and verification worker for Kryvora N…
- Sep 26, 2026JohnHeibel/PDoomVideo Source code for the Claude Opus 5.5 music video for I'm Upping My P(…
- Sep 26, 2026tobi/disktree A treemap for finding and removing what fills your disk, for Omarchy. Rust +…
- Sep 26, 2026pallavi-shekhar/ai-engineering-interview-questions-company-wise Your Cheat Sheet For AI En…
- Sep 26, 2026riba2534/claude-opus-5-5-demo claude-opus-5-5-demo Language: JavaScript Stars: 786 Issues:…
- Sep 25, 2026kerpopule/hermes-jev-skills Jev-powered model routing, memory, compaction, skill selection…