Lean 4
Category:Academic researchPricing: Free
Description
An interactive theorem prover and functional programming language, serving as the core infrastructure for formal AI research and automated theorem proving (e.g., AlphaProof, DeepSeek-Prover).
Related Tools
AMiner
AI-powered academic research and tech intelligence platform providing paper search, patent search, literature tracking, and scholar profiling
FreeVisit →
alphaxiv
An open academic discussion community based on the arXiv platform that allows users to comment line-by-line, ask questions, and interact in real-time by replacing the paper's linking domain (arxiv.org for alphaxiv.org) directly on the paper's page. And provides AI features such as Ask AI and AI-generated article blogs
FreeVisit →