Skip to content

uwplse/StructTact

Error
Looks like something went wrong!

About

Coq utility and tactic library.

Topics

coq tactics coq-library

Resources

Readme

License

BSD-2-Clause license
Activity
Custom properties

Stars

24 stars

Watchers

33 watching

Forks

8 forks
Report repository

Releases 1

first release Latest
Dec 31, 2016

Packages

No packages published

Contributors 10

Languages