Conversation

So confused trying to add a Coq library to my project via a git submodule: github.com/uds-psl/autosu 😭😭😭

Surely there must be a better way to do this...

Replying to

Sooo much cool stuff in Coq land... I can never figure out how to work it though! Oh wells...

Replying to

Theoretically, opam is the way you are supposed to do it, I think...

Ahh yeah, I saw that mentioned on the github issues

Show replies