LeanAPI: API Servers for web applications written in Lean 4 | Hacker News - But Better

LeanAPI: API Servers for web applications written in Lean 4 github.com

Contribute to theoriclabs/leanapi development by creating an account on GitHub.

2 points•hargup•5 days ago•0 comments•

#leanapi #applications #api #written #web #servers #lean #api servers

0 comments

No comments yet.

Read the full thread on Hacker News →

Related stories

Show HN: An API that tells you what people love about a productbb-product-api-docs.web.app
Hacker News · 1 points · 8 days ago
Show HN: bananabread AI – Find what customers love and want from your productsbb-product-api-docs.web.app
Hacker News · 1 points · 6 days ago
Outages across API, Grok.com, and Grok Build – API (us-east-1.api.x.ai) Statusstatus.x.ai
Hacker News · 2 points · 9 days ago
Considering using Golang for my main language for web development
Lobsters · 10 points · over 8 years ago
Show HN: Ceptile AI Search platform which combines web results with AI chatceptile.com
Hacker News · 1 points · 8 days ago
Show HN: Ceptile AI Search platform which combines web results with AI chatceptile.com
Hacker News · 1 points · 7 days ago