index
:
coq-mathcomp
master
Library of mathematical components formalized in Coq
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
package.nix
blob: 661824db38d49acc73a6ca42436a00ff3e1d70af (
plain
)
1
"mathcomp.single"
