Schedule

Subscribe to RSS Feed

2022
Saturday, April 2nd
11:30 AM

Formalizing Conway's Little Theorem in LEAN

Adam Clements
Christian Long
Case Morton-Lill
Samuel

HSS 209

11:30 AM

South Carolina Governor's School for Science and Mathematics

Mathematics

Mentored