bluesky — Thomas Dietterich — 14 Sep 2026
We are looking for guidance from the community. Should we accept a paper that consists only of the statement of a theore…
#proof-assistants #formal-verification #mathematical-publishing
We are looking for guidance from the community. Should we accept a paper that consists only of the statement of a theorem and a 300,000 line Lean proof?