Programming Language and Theorem Prover

Linking pages

Who Can Understand the Proof? A Window on Formalized Mathematics—Stephen Wolfram Writings https://writings.stephenwolfram.com/2025/01/who-can-understand-the-proof-a-window-on-formalized-mathematics/ 122 comments
AlphaProof, AlphaGeometry, ChatGPT, and why the future of AI is neurosymbolic https://garymarcus.substack.com/p/alphaproof-alphageometry-chatgpt 36 comments
A Beginner's Companion to Theorem Proving in Lean 4 | Blog | emallson.net https://emallson.net/blog/a-beginners-companion-to-theorem-proving-in-lean/ 17 comments
The Wizardry Frontier — Sympolymathesy, by Chris Krycho https://v5.chriskrycho.com/journal/wizardry-frontier/ 16 comments
Programming avant-garde https://mmapped.blog/posts/32-programming-avant-garde 10 comments
A new golden age of discovery - Google DeepMind https://deepmind.google/public-policy/ai-for-science/ 9 comments
Do Large Language Models have a "Reasoning Gap"? https://thomasvoice.substack.com/p/do-large-language-models-have-a-reasoning 1 comment
The Lupi Program https://rlupi.com/the-lupi-program 1 comment
GitHub - ad-si/awesome-fp-jobs: A curated list of awesome functional programming jobs. https://github.com/ad-si/awesome-fp-jobs 1 comment
GitHub - the-nix-way/dev-templates: Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins] https://github.com/the-nix-way/dev-templates 1 comment
How the Lean language brings math to coding and coding to math - Amazon Science https://www.amazon.science/blog/how-the-lean-language-brings-math-to-coding-and-coding-to-math 0 comments
The RetroInstruct Guide To Synthetic Text Data https://minihf.com/posts/2024-07-13-the-retroinstruct-guide-to-synthetic-text-data/ 0 comments
GitHub - teorth/equational_theories: A project to map out the relations between different equational theories of Magmas. https://github.com/teorth/equational_theories 0 comments