Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4
(github.com/MyceliaCognition)
2 points
michaelpreid1
a month ago
discuss