| Artist | : | Let's code math | Lean4 | Theorem prover |
| Title | : | Splience |
| Duration | : | 1250 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |
| Artist | : | Let's code math | Lean4 | Theorem prover |
| Title | : | Splience |
| Duration | : | 1250 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |