Condensed Seminar: Rok Gregoric (JHU)
Krieger 413Title: Analytic rings
Title: Analytic rings
Title: Fibered Yoneda Lemma in Lean 4 Abstract: In this talk, I would like to give you a sense of what it’s like to do category theory in a computer. I […]
Title: Abstract:
Dr. Riehl will be giving an interactive talk where we will play the natural numbers game and learn about formalizing mathematics in a computer-proof assistant! We ask that everyone who […]