Upstream software project
aac-tactics
Coq tactics for reasoning modulo AC (theories)
Project identity
- Project
- aac-tactics
- Publisher
- Not authoritatively mapped
- Native package records
- 2
- Operating systems
- debian-12, debian-13
- License expression
- Not reported
- Quality score
- 95/100
- Homepage
- Visit upstream site
- Source repository
- Not reported
Upstream description
This description is kept separate from distribution package descriptions.
Coq tactics for reasoning modulo AC (theories)
Packages by operating system
Every link opens the native package record, where versions, dependencies, files, checksums, repositories, and maintainers remain distribution-specific.
- libcoq-aac-tactics8.17.0-1+b2
Debian 12 (Bookworm) / math / source aac-tactics
Coq tactics for reasoning modulo AC (theories)
amd64arm64bookworm - libcoq-aac-tactics8.20.0-1+b4
Debian 13 (Trixie) / math / source aac-tactics
Coq tactics for reasoning modulo AC (theories)
amd64arm64trixie
Mapping provenance
Only source-backed identity signals create public cross-OS links. A reviewer can later approve or dispute an inferred relationship without rewriting native package history.
No field-level source record is published yet.