Hacker News new | ask | show | jobs
Learning games for the proof assistant Lean (adam.math.hhu.de)
1 points by marvinborner 14 days ago