search

coq-community / aac-tactics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
https://coq-community.org/aac-tactics
Other
29 stars 21 forks source link

re-enable simple Nix CI workflow #114

Closed palmskog closed 2 years ago

Zimmi48 commented 2 years ago

Should probably work now.

Zimmi48 commented 2 years ago

Should probably work now.

Zimmi48 commented 2 years ago

Indeed, it does.

palmskog commented 2 years ago

Thanks for flagging it up, merging.