0 · by jalonso.eurosky.social ·1d ago · view on bsky.app ↗ https://arena.lean-lang.org/ (arena.lean-lang.org) #itp#leanprover