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: 51c6be862c9a8d5c36997938096ab6e4813f3ece (
plain
)
1
2
.git* export-ignore .mailmap export-ignore
