Dependent Types with David Christiansen - Functional Futures

[@shutterrecoil]

type addicts about dependent types ;)

[@neilbedwell7763]

Thanks so much for this interview/conversation. Another piece of the puzzle for all

[@neilbedwell7763]

Are tactics to proof objects the same as thereoms to axioms?

[@tanchienhao]

Looking forward to the lean4 book!