cakeml icon indicating copy to clipboard operation
cakeml copied to clipboard
verified publisher icon CakeML

Get compiler/proofs to under 50 minutes on CakeML regression servers

Open ordinarymath opened this issue 1 month ago • 1 comments

follow up of #1243. We can always be faster :)

ordinarymath avatar Nov 11 '25 02:11 ordinarymath

"One must imagine CakeML developers happy"

— Albert Camus

dnezam avatar Nov 11 '25 20:11 dnezam