LeanAPI: API Servers for web applications written in Lean 4

LeanAPI: API Servers for web applications written in Lean 4: open-source проект в категориях Misc. Практическое применение: нужна ручная оценка сценария. Уровен