Start date cannot be after end date.
Interactive theorem proving, automated reasoning, and mathematical computation
Presenter
- Jeremy Avigad
December 14, 2012
ICERM
Interactive theorem proving, automated reasoning, and dynamical systems
Presenter
- Jeremy Avigad
April 5, 2016
ICERM