coq:aac-tactics packages - Repology

Versions Packages Information History Related Badges Report

5 package(s) known

nixpkgs stable 21.11

coq8.13-aac-tactics

8.13.0

Summary:
Coq plugin providing tactics for rewriting universally quantified equations
Maintainer:
- bensiraphob@gmail.com
Category:
- coqPackages
License:
- GPL-3.0-or-later
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 22.05

coq8.15-aac-tactics

8.15.1

Summary:
Coq plugin providing tactics for rewriting universally quantified equations
Maintainer:
- bensiraphob@gmail.com
Category:
- coqPackages
License:
- GPL-3.0-or-later
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 22.11

coq8.16-aac-tactics

8.16.0

Summary:
Coq plugin providing tactics for rewriting universally quantified equations
Maintainer:
- bensiraphob@gmail.com
Category:
- coqPackages
License:
- GPL-3.0-or-later
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 23.05

coq8.17-aac-tactics

8.17.0

Summary:
Coq plugin providing tactics for rewriting universally quantified equations
Maintainer:
- bensiraphob@gmail.com
Category:
- coqPackages
License:
- GPL-3.0-or-later
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

nixpkgs unstable

coq8.18-aac-tactics

8.18.0

Summary:
Coq plugin providing tactics for rewriting universally quantified equations
Maintainer:
- bensiraphob@gmail.com
Category:
- coqPackages
License:
- GPL-3.0-or-later
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}