LeanAPI: API Servers for web applications written in Lean 4 (github.com) 2 points by hargup 1mo ago ↗ HN
1 comment
[ 0.19 ms ] story [ 12.8 ms ] thread