ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
Pursuit of Truth and Beauty in Lean 4: Formally Verified ... | ResearchHub
ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
By
Martin Dvorak
Martin Dvorak
March 25, 2026
20
Paper
Reviews
0
Conversation
0
Bounties
0
Loading PDF viewer…
Preprint Server
Topics
#computer-science
#logic
#computability-logic-ai-algorithms
#logic-programming-and-type-systems
#spreadsheets-and-end-user-computing
DOI
10.48550/arXiv.2602.12891
License
CC-BY
Other Formats
PDF
