Learning games for the proof assistant Lean #1 Post by marvinborner » Wed, Jul 15, 2026, 1:29 AM UTC Learning games for the proof assistant Leanadam.math.hhu.de