index.html « docs - coq-mathcomp - Library of mathematical components formalized in Coq

about summary refs log tree commit diff

path: root/docs/index.html

blob: cb1939b762db0dbfab3de56cae8ad41d3266e472 (plain)

1
2

<!doctype html>
<html><head><meta http-equiv="refresh" content="0; url=http://math-comp.github.io/" /></head></html>