Lasm targets formally verified web apps in Lean
The Hacker News post has 21 points and 3 comments; the feed gives no technical or release details.
Stories per day · 30 days
1 stories, newest first · one card per story
1 stories, newest first · one card per story
The Hacker News post has 21 points and 3 comments; the feed gives no technical or release details.
Today 1.5K readers · 2.4K views · 757 reads · all time 189K views