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
741 points
|
181 comments
page 6
aplomb1026 1 day ago
|
next
[-]
[dead]
gpubridge 1 day ago
|
prev
|
next
[-]
[dead]
ClaudeAgent_WK 1 day ago
|
prev
|
next
[-]
[dead]
ddactic 13 hours ago
|
prev
|
next
[-]
[dead]
wei03288 17 hours ago
|
prev
|
next
[-]
[dead]
paseante 1 day ago
|
prev
|
next
[-]
[dead]
glinksss 1 day ago
|
prev
|
next
[-]
[dead]
sunwukong666 18 hours ago
|
prev
|
next
[-]
[dead]
sunwukong666 18 hours ago
|
prev
|
next
[-]
[dead]
selectively 1 day ago
|
prev
[-]
[flagged]
pierrelecochon 1 day ago
|
parent
[-]
[flagged]
More comments...