| Artist | : | Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026) |
| Title | : | leanprover community |
| Duration | : | 1447 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |
| Artist | : | Alex Best - Aristotle, an AI theorem prover using Lean (Lean Together 2026) |
| Title | : | leanprover community |
| Duration | : | 1447 |
| Source | : | Youtube |
| Type of file | : | Audio/Video (.mp3 .mp4) |