Leanstral: Open-source agent for trustworthy coding and formal proof engineering
583 by Poudlardo | 126 comments on Hacker News.
Lean 4 paper (2021): https://ift.tt/C02gnuI
Followers
Labels
Search This Blog
Search This Blog
Popular-Posts
3/Technology/post-list
Music
2/Music/grid-big
Nature
3/Nature/grid-small
Fashion
3/Fashion/grid-small
About Me
Categories
Tags
Translate
Sports
Get All The Latest Updates Delivered Straight Into Your Inbox For Free!
Random-Posts
3/random/post-list
Random
3/random/post-list
Popular Posts
Subscribe Us
Recent-Posts
3/recent/post-list
RECENT
3/recent/post-list
Fashion/hot-posts
Technology
Breaking News
MKRdezign
Powered by Blogger.
Post a Comment