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