| | Signal Shot: Verifying the Signal Protocol and Rust Implementation with Lean (leodemoura.github.io) |
| 4 points by birdculture 2 days ago | past | discuss |
|
| | Signal Shot: verify the Signal protocol and its Rust implementation using Lean (leodemoura.github.io) |
| 5 points by u1hcw9nx 3 days ago | past | discuss |
|
| | The Lean Programming Language and Theorem Prover (leodemoura.github.io) |
| 2 points by azhenley 12 days ago | past | discuss |
|
| | Why Lean? (leodemoura.github.io) |
| 2 points by kachnuv_ocasek 18 days ago | past |
|
| | Why Lean? (leodemoura.github.io) |
| 3 points by aozgaa 21 days ago | past |
|
| | When AI Writes the Software, Who Verifies It? (leodemoura.github.io) |
| 3 points by vinhnx 33 days ago | past | 1 comment |
|
| | Who Watches the Provers? (leodemoura.github.io) |
| 2 points by futurisold 37 days ago | past |
|
| | When AI writes the software, who verifies it? (leodemoura.github.io) |
| 305 points by todsacerdoti 51 days ago | past | 298 comments |
|
| | Proof Assistants in the Age of AI (leodemoura.github.io) |
| 1 point by matt_d 63 days ago | past |
|
