Skip to main content Open main menu Search this site

Navigation menu

/past/2023-10-30/, past

Foundations Seminar
Schedule
Contains current page: Past Seminars Show past seminars submenu Hide past seminars submenu
Past Seminars
- 2023
  2023
Speaker Instructions

Close main menu

Search this site

Search this site (powered by Google)

Powered by Google

Home / Past Seminars / Constructing the p-adic numbers in HOL4

Constructing the p-adic numbers in HOL4

Constructing the p-adic numbers in HOL4

30 October 2023, 12:00, CSIT Level 2 - Systems Area

Speaker: Noah Gorrell (ANU)

Twitter Facebook Instagram Youtube LinkedIn WeChat

Acknowledgement of Country

The Australian National University acknowledges, celebrates and pays our respects to the Ngunnawal and Ngambri people of the Canberra region and to all First Nations Australians on whose traditional lands we meet and work, and whose cultures are among the oldest continuing cultures in human history.

Contact ANU | Copyright | Disclaimer | Privacy | Freedom of Information

+61 2 6125 5111 | The Australian National University, Canberra

TEQSA Provider ID: PRV12002 (Australian University) | CRICOS Provider Code: 00120C | ABN: 52 234 063 906