| 2022 | ||
| Saturday, April 2nd | ||
|---|---|---|
| 11:30 AM |
Formalizing Conway's Little Theorem in LEAN Adam Clements HSS 209 11:30 AM South Carolina Governor's School for Science and Mathematics Mathematics Mentored |
|
Skip to main content
