Lean 4: How the theorem prover works and why it's the new competitive edge in AI
(venturebeat.com)
124 points
by tesserato
4 days ago |
56 comments
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
()
