Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
From Trust to Verification: Lean's Impact on Mathematics
(
simonsfoundation.org
)
2 points
by
digital55
a day ago
