Submissions from lean-lang.org

		Lean 4.27.0 (lean-lang.org)
		4 points by tzury 17 days ago \| past
		Lean is a theorem prover and programming language (lean-lang.org)
		2 points by tzury 6 months ago \| past
		Programming Language and Theorem Prover (lean-lang.org)
		2 points by teleforce on Jan 14, 2025 \| past
		Lean: Programming Language and Theorem Prover (lean-lang.org)
		9 points by SerCe on Jan 4, 2025 \| past
		Reservoir: Lean Package Registry (lean-lang.org)
		1 point by pera on Nov 18, 2024 \| past
		Lean 4.9.0 (lean-lang.org)
		1 point by nequo on July 4, 2024 \| past
		`do' Unchained (2022) [pdf] (lean-lang.org)
		1 point by nequo on June 30, 2024 \| past
		Loogle: search Lean and Mathlib definitions and theorems (lean-lang.org)
		1 point by nequo on May 25, 2024 \| past
		Recursive Definitions in Lean (lean-lang.org)
		1 point by nequo on May 18, 2024 \| past
		Lean 4.7.0 (lean-lang.org)
		1 point by mauricioc on April 4, 2024 \| past