LeanAPI: API Servers for web applications written in Lean 4(github.com)
2 pointsby hargup7 hours ago1 comment