| ▲ | samrus 11 hours ago | |
How? What about the lean verification? | ||
| ▲ | Hendrikto 10 hours ago | parent [-] | |
Just click the link… > The repo now has ~42% top-line results formalized. | ||
| ▲ | samrus 11 hours ago | |
How? What about the lean verification? | ||
| ▲ | Hendrikto 10 hours ago | parent [-] | |
Just click the link… > The repo now has ~42% top-line results formalized. | ||