Happening @ Michigan

Happening@Michigan

The University of Michigan Events Calendar

Sponsors

No results

Keywords

No results

Types

No results

Search Results

Events

No results
Search events using: keywords, sponsors, locations or event type
When / Where
All occurrences of this event have passed.
This listing is displayed for historical purposes.
Free Lecture / Discussion

Presented By: Student Logic and History of Math Seminar - Department of Mathematics

Contact Organizers Flag As Inappropriate

Student Logic and History of Math Seminar: What is a proof assistant?

Johnson He

Proof assistants are programming environments for proof languages. We will discuss what this means, some applications in verified software, and some mathematics in Agda.

Co-Sponsored By

Explore Similar Events

  •  Loading Similar Events...

Tags


Back to Main Content
About Help Terms of Use Event Feeds Import Events Contact Us

Contact Us