Learning games for the proof assistant Lean

1 points | by marvinborner 10 hours ago