All Questions
1
question
0
votes
0
answers
42
views
How to import unimath for coq
I want to be able to import the category theory module from unimath. I already have the coqide and vscode with the coq extensions, I also have wsl. I tried downloading the library from git and used &...