doing research on usability of theorem provers is basically doing research on practical aspects of dependent types first 🙃 it’s exciting but exhausting
Conversation
What do you mean by “practical aspects”? Like in terms of how to implement them?
2
Just interested as I've spent a bunch of time trying to learn about implementing dependent types in order to do what I want to do, and I am exhausted but excited too! 😅