| Artist | : | Metamath Zero: Designing a Theorem Prover Prover |
| Title | : | Mario Carneiro |
| Duration | : | 2008 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |
| Artist | : | Metamath Zero: Designing a Theorem Prover Prover |
| Title | : | Mario Carneiro |
| Duration | : | 2008 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |