GitHub repository: uwplse/StructTact
Primary language: Coq
Created: 2016-01-31T09:08:04Z
Description: Coq utility and tactic library.