UbuntuUpdates.org

Package "libaac-tactics-ocaml"

Name: libaac-tactics-ocaml

Description:

Coq tactics for reasoning modulo AC (plugin)

Latest version: 8.15.0-1
Release: jammy (22.04)
Level: base
Repository: universe
Head package: aac-tactics
Homepage: https://github.com/coq-community/aac-tactics

Links


Download "libaac-tactics-ocaml"


Other versions of "libaac-tactics-ocaml" in Jammy

No other version of this package is available in the Jammy release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates