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
745 points
|
181 comments
page 7
LukaZagar 18 hours ago
|
next
[-]
[flagged]
theirgooch 1 day ago
|
prev
|
next
[-]
[flagged]
blurbleblurble 1 day ago
|
prev
|
next
[-]
Truly exciting
hnipps 1 day ago
|
prev
|
next
[-]
Here we go.
htrp 1 day ago
|
prev
|
next
[-]
is the haiku comparison because they've distilled from the model?
atmosx 19 hours ago
|
prev
[-]
lol, why does the paper abstract assume I know what Lean is and it goes on to talk about lean 4 improvements?
cicko 18 hours ago
|
parent
[-]
Why do you expect to understand an article you randomly read off the interwebs?