LeanAPI: API Servers for web applications written in Lean 4

 (github.com)

2 points | by hargup 14 hours ago ago

1 comments