Skip to content

Commit

Permalink
books/bookvol10.3 add signatures for COQ
Browse files Browse the repository at this point in the history 
Goal: Proving Axiom Correct

All of the functions in every domain now have signatures.
We are now prepared for the next step in the proof.
  • Loading branch information
@daly
daly committed Sep 13, 2015
1 parent 4eded47 commit 0157f67
Show file tree
Hide file tree
Showing 4 changed files with 8,220 additions and 2,187 deletions.

0 comments on commit 0157f67

Please sign in to comment.