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
/
.gitattributes
blob: e4504cf21afe0c61f3d216e7fc2ad5b7eb6d3914 (
plain
)
1
.git* export-ignore
