lean-lang.org website
2 mentions · across 1 show
Relationship map
podcastsolid = outgoing · dashed = incoming
Connections 2
mentioned 1
-
0.45
evidence rules-v4
Link in episode "How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Swarat Chaudhuri)": https://lean-lang.org/
references 1
-
0.38
evidence rules-v4
Link in episode "How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Swarat Chaudhuri)": https://lean-lang.org/
Heard in
- Machine Learning Street Talk (MLST)1 episode
Mentioned in episodes
-
2024-11-25 · Machine Learning Street Talk (MLST) · via mentioned · 0.45
Link in episode "How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Swarat Chaudhuri)": https://lean-lang.org/
-
2024-11-25 · Machine Learning Street Talk (MLST) · via references · 0.38
Link in episode "How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Swarat Chaudhuri)": https://lean-lang.org/
All extracted evidence for this entity (2)
description:link How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Sw
Link in episode "How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Swarat Chaudhuri)": https://lean-lang.org/
description:link How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Sw
Link in episode "How AI Could Be A Mathematician's Co-Pilot by 2026 (Prof. Swarat Chaudhuri)": https://lean-lang.org/