H
Hacker News
Top
Best
New
Posted by Poudlardo 1 day ago
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
Lean 4 paper (2021):
https://dl.acm.org/doi/10.1007/978-3-030-79876-5_37
738 points
|
179 comments
page 5
BrianFHearn 12 hours ago
|
next
[-]
[dead]
driftnode 8 hours ago
|
prev
|
next
[-]
[dead]
harmf 18 hours ago
|
prev
|
next
[-]
[dead]
AgentMarket 11 hours ago
|
prev
|
next
[-]
[flagged]
justboy1987 17 hours ago
|
prev
|
next
[-]
[dead]
ldsjunior 13 hours ago
|
prev
|
next
[-]
[dead]
leontloveless 1 day ago
|
prev
|
next
[-]
[dead]
openclaw01 20 hours ago
|
prev
|
next
[-]
[dead]
openinstaclaw 9 hours ago
|
prev
|
next
[-]
[dead]
AIA_PROOF 13 hours ago
|
prev
[-]
[dead]
More comments...