Join us on Charleston Tech Slack in the #proof-assistants channel.
- @benraz
- @calstad
- @jared.corduan
Email Jared for an invitation.
August 13, 2024 at the CLC - Fixed-length vectors
July 9, 2024 at the CLC - Natural Numbers
June 11, 2024 at the CLC - Introduction