Debian logoDebian Screenshots >

libaac-tactics-coq

Coq tactics for reasoning modulo AC (theories)

Description

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the Coq support library.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

https://github.com/coq-contribs/aac-tactics


Statistics

1159 other people were interested in this package here. The newest known version of this software is 8.8.0+1.gbp069dc3b-1 (Information last updated 4 days ago.)