Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
falcor84
8 hours ago
It's about formalization in Lean, not peer review
