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

1 points | by kurinikku an hour ago

No comments yet