lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

chore: Update to `v4.19.0-rc2`

Open SnO2WMaN opened this issue 7 months ago • 0 comments

算術的完全性の諸々が終わったタイミングで作業に取り掛かった方が良いと思う．

SnO2WMaN avatar Apr 04 '25 07:04 SnO2WMaN