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