Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
waterfall: Induction Proofs in Lean
(
samth.github.io
)
1 points
by
matt_d
11 hours ago
