Submissions from leodemoura.github.io

		The Lean Programming Language and Theorem Prover (leodemoura.github.io)
		2 points by azhenley 7 days ago \| past \| discuss
		Why Lean? (leodemoura.github.io)
		2 points by kachnuv_ocasek 13 days ago \| past \| discuss
		Why Lean? (leodemoura.github.io)
		3 points by aozgaa 16 days ago \| past
		When AI Writes the Software, Who Verifies It? (leodemoura.github.io)
		3 points by vinhnx 27 days ago \| past \| 1 comment
		Who Watches the Provers? (leodemoura.github.io)
		2 points by futurisold 32 days ago \| past
		When AI writes the software, who verifies it? (leodemoura.github.io)
		305 points by todsacerdoti 46 days ago \| past \| 298 comments
		Proof Assistants in the Age of AI (leodemoura.github.io)
		1 point by matt_d 57 days ago \| past