- š Hi, Iām @hotdogontology
- š Iām interested in interactive and automated theorem proving and making games with PICO-8.
- š± Iām currently learning Agda and Lean.
- šļø Iām looking to collaborate on teaching proof writing with computers.
- š« You can send me an email at tbelcher (at) governors dot school.
hotdogontology Goto Github PK
Name: Taylor Belcher
Type: User
Company: South Carolina Governor's School for Science and Mathematics
Bio: Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev
Twitter: hotdogontology
Location: Hartsville, SC