Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Minor Corrections to last commit

  • Loading branch information...
commit 22949b7c411e37824ee8f0a1a809eabf606a0aaf 1 parent 3b7a6b7
@vladimirias authored
Showing with 2 additions and 1 deletion.
  1. +1 −0  .gitignore
  2. +1 −1  README
View
1  .gitignore
@@ -1,3 +1,4 @@
*.vo
*.glob
*.v.d
+.gitignore
View
2  README
@@ -1,4 +1,4 @@
-By Vladimir Voevodsky Feb. 2009 - Sep. 2011 .
+By Vladimir Voevodsky Feb. 2010 - Sep. 2011 .
This is the current version (as of Sep. 2 , 2011) of the mathematical library for the proof assistant Coq based on the univalent semantics for the calculus of inductive constructions. The best way to see in detail what the files in these subdirectories are about is to generate the corresponding tables of content with coqdoc . Here we give a brief outline of the library structure .
Please sign in to comment.
Something went wrong with that request. Please try again.