So confused trying to add a Coq library to my project via a git submodule: github.com/uds-psl/autosu 😭😭😭
Conversation
Surely there must be a better way to do this...
2
Sooo much cool stuff in Coq land... I can never figure out how to work it though! Oh wells...