1 search result for "tag:"date:2025-10-28""
Showing 1 - 1
-
rocq-aac-tactics
No documentation
Rocq tactics for rewriting universally quantified equations, modulo associative (and possibly commutative and idempotent) operatorscategory:Miscellaneous/Rocq Extensions category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures keyword:reflexive tactic keyword:rewriting keyword:rewriting modulo associativity and commutativity keyword:rewriting modulo ac keyword:decision procedure logpath:AAC_tactics date:2025-10-289.0.0LGPL-3.0-or-laterUsed by 0 other packages28 Oct 2025