HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by samrus | Hacker News Reader
Parent
Full thread
samrus
·
How? What about the lean verification?
View on HN
Hendrikto
·
Just click the link…
> The repo now has ~42% top-line results formalized.
Reply on news.ycombinator.com