| Artist | : | Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024 |
| Title | : | DeFi Security Summit - DSS |
| Duration | : | 3631 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |
| Artist | : | Intro to the Lean Theorem Prover | Jakob von Raumer (Lindy Labs) - DSS 101 2024 |
| Title | : | DeFi Security Summit - DSS |
| Duration | : | 3631 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |