Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Reflecting on PLDI 2025
people.csail.mit.eduยท2dยท
Discuss: Hacker News