Lean

Apr 23, 2026 - 21:52

0 0

Lean (proof assistant) can be used for programming, not just math

← Previous revision		Revision as of 16:20, 23 April 2026
Line 20:		Line 20:

	==Other uses==		==Other uses==
	* [[Lean (proof assistant)]], a ~~mathematics~~ ~~tool~~		* [[Lean (proof assistant)]], a proof assistant and programming language
	* [[Lean (drug)]], based on cough syrup		* [[Lean (drug)]], based on cough syrup
	* [[Le'an County]], in Jiangxi, China		* [[Le'an County]], in Jiangxi, China