Conversation

Brendan Zabarauskas

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

12:06 PM · Aug 24, 2018Twitter Web Client

Brendan Zabarauskas

Replying to

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

2

Brendan Zabarauskas

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