alt Hacker NewsPerformance problems in theorem provers is an old topic. I remember watching this and it was fun.
[Talk] 10 years of superlinear slowness in Coq (2022)
Performance problems in theorem provers is an old topic. I remember watching this and it was fun.
[Talk] 10 years of superlinear slowness in Coq (2022)