Submissions from leodemoura.github.io

		When AI Writes the Software, Who Verifies It? (leodemoura.github.io)
		2 points by fagnerbrack 4 days ago \| past \| discuss
		Signal Shot: Verifying the Signal Protocol and Rust Implementation with Lean (leodemoura.github.io)
		5 points by birdculture 39 days ago \| past
		Signal Shot: verify the Signal protocol and its Rust implementation using Lean (leodemoura.github.io)
		6 points by u1hcw9nx 40 days ago \| past
		The Lean Programming Language and Theorem Prover (leodemoura.github.io)
		2 points by azhenley 49 days ago \| past
		Why Lean? (leodemoura.github.io)
		2 points by kachnuv_ocasek 55 days ago \| past
		Why Lean? (leodemoura.github.io)
		3 points by aozgaa 58 days ago \| past
		When AI Writes the Software, Who Verifies It? (leodemoura.github.io)
		3 points by vinhnx 70 days ago \| past \| 1 comment
		Who Watches the Provers? (leodemoura.github.io)
		2 points by futurisold 74 days ago \| past
		When AI writes the software, who verifies it? (leodemoura.github.io)
		305 points by todsacerdoti 88 days ago \| past \| 298 comments
		Proof Assistants in the Age of AI (leodemoura.github.io)
		1 point by matt_d 3 months ago \| past