How? What about the lean verification?
Just click the link…
> The repo now has ~42% top-line results formalized.
alt Hacker News
Just click the link…
> The repo now has ~42% top-line results formalized.