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

 (lean.golf)

1 points | by kurinikku  10 hours ago

No comments yet.