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 |