Search a Conference through our dedicated search page

Lean for the Curious Mathematician 2022

11th July 2022 - 15th July 2022
Providence, RI, United States
https://icerm.brown.edu/topical_workshops/tw-22-lean/
Save

Abstract

Lean for the Curious Mathematician 2022

Related Fields