Learning games for the proof assistant Leanhttps://adam.math.hhu.de/ by marvinborner • 9 days ago 1 0 9 days agoADadam.math.hhu.de