Automatically exported from code.google.com/p/outrageous-interpreter
Primary LanguageCoq
No issues in this repository yet.