coq-quantum CoqQ issues - Githubissues

coq-quantum / CoqQ

MIT License

16 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

add: CHANGELOG.md

#4 Magikaaarp closed 3 weeks ago
0
Cannot find a physical path bound to logical path all_ssreflect with prefix mathcomp.

#3 jricc closed 11 months ago
2
Bugs from package versions fixed.

#2 LucianoXu closed 2 years ago
1
mxvec_norm error when building

#1 ianhhlee closed 2 years ago
7