Lean Golf – Code golf but you're proving theorems in Lean

(lean.golf)

1 points | by kurinikku 6 hours ago ago