Hackernews
new
show
ask
jobs
Learning games for the proof assistant Lean
1 points
posted 18 hours ago
by marvinborner
(adam.math.hhu.de)
No comments yet