Leanprover Community product
2 mentions · across 1 show
Find on Amazon
As an Amazon Associate we earn from qualifying purchases.
https://github.com/leanprover-community/mathlib4
Relationship map
podcastsolid = outgoing · dashed = incoming
Connections 2
mentioned 1
-
0.90
evidence rules-v5
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4
references 1
-
0.77
evidence rules-v5
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4
Heard in
- The Peterman Pod1 episode
Mentioned in episodes
-
2026-08-10 · The Peterman Pod · via mentioned · 0.90
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4
-
2026-08-10 · The Peterman Pod · via references · 0.77
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4
All extracted evidence for this entity (2)
description:link Creator of Lean: Handwritten Math Will Change Dramatically |
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4
description:link Creator of Lean: Handwritten Math Will Change Dramatically |
Link in episode "Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura": https://github.com/leanprover-community/mathlib4