Post #2368954
2026-05-10 05:18 UTC
@TaliaRinger are the course materials from your "build your own proof assistant course" publicly available? i saw that nicegeo is up on github, which is super cool! i was curious if you have any notes on unification in particular
Replies (0)
No replies.