Automatically exported from code.google.com/p/matching-logic
Primary LanguageCoq
No one’s watching this repository yet.