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