Learning games for the proof assistant Lean(adam.math.hhu.de)1 points by marvinborner 37 days ago | 0 commentsNo comments yet