mqpCoq2018

WPI Computer Science MQP 2018-18 Formal Verification using Coq

Name		Name	Last commit message	Last commit date
Latest commit History 418 Commits
B_Unification		B_Unification
Progress Reports		Progress Reports
Spiros_Chapters		Spiros_Chapters
SyntacticUnification		SyntacticUnification
dd		dd
drichardson2		drichardson2
jkstpierre		jkstpierre
mjmcdonald		mjmcdonald
projectIdeas		projectIdeas
resources		resources
.gitignore		.gitignore
README.md		README.md
RewritingDefinitions.v		RewritingDefinitions.v
TermsDD.v		TermsDD.v
non-equivalence-etc.txt		non-equivalence-etc.txt

Provide feedback