Universidad de Santiago de Chile (USACH)
| City | |
| Time zone | US/Eastern |
Seminars
| Next talk | Name | |||
|---|---|---|---|---|
| An introduction to proof assistants: a mini course about mathematical formalization | ||||
| Ceros excepcionales refinados y p-adicos | ||||
| City | |
| Time zone | US/Eastern |
| Next talk | Name | |||
|---|---|---|---|---|
| An introduction to proof assistants: a mini course about mathematical formalization | ||||
| Ceros excepcionales refinados y p-adicos | ||||