LeanAPI: API Servers for web applications written in Lean 4

LeanAPI: API Servers for web applications written in Lean 4: LeanAPI: API Servers for web applications written in Lean 4 may be useful when its README and activ