Lean Golf – Code golf but you're proving theorems in Lean (lean.golf) 1 points by kurinikku 27d ago ↗ HN
0 comments
[ 2.1 ms ] story [ 7.9 ms ] threadNo comments yet.