display_name: Lean Lang
description: Posts about Lean, an open-source functional programming language and interactive theorem prover: https://lean-lang.org/
additional_fields: {"skyfeedBuilder":{"blocks":[{"id":"aaahtay77irc4","type":"input","inputType":"firehose","firehoseSeconds":604800},{"id":"aaahtay77i6ym","type":"remove","value":"reply","subject":"item"},{"id":"aaahtay77imuo","type":"regex","value":"#(LeanLang|Lean4|LeanProver)\\b|(?:^|\\s)Lean (lang|4|Prover|Theorem Prover|Proof Assistant)\\b","caseSensitive":false},{"id":"aaahtay77jwac","type":"sort","sortType":"created_at"}],"license":"EUPL-1.2","displayName":"Lean Lang"}}