tchajed/coq-tactical
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Library of Coq proof automation
36 commits 2 branches 0 tags 76 KiB
  • Rocq Prover 89.1%
  • Makefile 10.9%
Find a file
Exact
Tej Chajed 3c96e91cd9
 Merge pull request #2 from tchajed/fix-deprecations 
Fix deprecation warnings and update CI
2026-04-01 07:56:33 -05:00
.github/workflows Fix deprecation warnings and update CI 2026-04-01 07:51:40 -05:00
src Fix deprecation warnings and update CI 2026-04-01 07:51:40 -05:00
.gitignore Fix deprecation warnings and update CI 2026-04-01 07:51:40 -05:00
libname Initial commit from CSPEC ProofAutomation 2018-10-25 14:54:32 -04:00
LICENSE.txt Bump copyright year 2019-02-19 10:45:15 -05:00
Makefile Fix deprecation warnings and update CI 2026-04-01 07:51:40 -05:00
README.md Add GitHub actions CI 2022-02-15 09:56:41 -05:00

README.md

Tactical: a library of Coq proof automation

CI

This library provides some basic tactics to augment the Coq standard library.

Tactical uses the project template from coq-project-template. If you use that template you can include Tactical as a dependency by adding it as a submodule:

git submodule add https://github.com/tchajed/coq-tactical vendor/tactical.