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
Theoretically, opam is the way you are supposed to do it, I think...
1
1
I'm not sure, I'm very far from an opam expert. I think you can, but I also think Autosubst is already on opam itself?
1
Show replies