GitHub - jbj/x86proved: Archive of http://x86proved.codeplex.com, a Coq theory of x86 machine code

Name		Name	Last commit message	Last commit date
Latest commit History 74 Commits
etc		etc
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE.txt		LICENSE.txt
README.txt		README.txt
autogen.bat		autogen.bat
autogen.sh		autogen.sh

Repository files navigation

# x86proved

Directory structure:

  src      Source files
  doc      Documentation (under construction)

Archive of http://x86proved.codeplex.com, a Coq theory of x86 machine code