{"id":506,"slug":"lean","name":"Lean","short_description":"Lean is a theorem prover and programming language.","url":"https://github.com/topics/lean","github_count":624,"created_by":"Leonardo de Moura","logo_url":"https://explore-feed.github.com/topics/lean/lean.png","released":"2013","wikipedia_url":"https://en.wikipedia.org/wiki/Lean_(proof_assistant)","related_topics":[],"aliases":["lean3","lean4","leanprover"],"github_url":"https://github.com/leanprover/lean","content":"\u003cp\u003eLean is a functional programming language that makes it easy to write correct\nand maintainable code. You can also use Lean as an interactive theorem prover.\nLean programming primarily involves defining types and functions. This allows\nyour focus to remain on the problem domain and manipulating its data, rather\nthan the details of programming.\u003c/p\u003e\n","created_at":"2024-07-29T13:46:51.388Z","updated_at":"2026-06-28T00:17:22.821Z","topic_url":"https://awesome.ecosyste.ms/api/v1/topics/lean","html_url":"https://awesome.ecosyste.ms/topics/lean","projects_url":"https://awesome.ecosyste.ms/api/v1/projects?keyword=lean","lists_url":"https://awesome.ecosyste.ms/api/v1/lists?topic=lean"}