Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
Learning games for the proof assistant Lean
(
adam.math.hhu.de
)
1 points
by
marvinborner
9 hours ago
