LeanAPI: API Servers for web applications written in Lean 4

2 pointsposted 13 hours ago
by hargup
(github.com)

1 Comments