#44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro
Type Theory Forall
00:00
Spontaneous Conversations and Future Discussions
This chapter explores an unscripted coffee chat between speakers that led to a vibrant discussion about their ongoing projects. They also preview an exciting upcoming episode featuring a conversation with a COG maintainer.
Transcript
Play full episode
