Coming Soon...
Stay Updated On Our Progress
How To Install "aac-tactics" Package on Ubuntu

This is a step by step instructions on Installing aac-tactics package Ubuntu Server. Be sure to consult with your system administrator if you are not comfortable using SSH or command line terminal access on your server.


Quick Install Steps:
Step 1
sudo apt-get update -y
Step 2
sudo apt-get install -y aac-tactics
Execute the commands above step by step. You can simply hit the copy button to copy the command and paste into the command line interface.
Note: -y flag means to assume yes and silently install, without asking you questions in most cases.


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

Detailed Instructions:
Step 1
Run update command to update package repositories and get latest package information.
sudo apt-get update -y
Step 2
Run the install command with -y flag to quickly install the packages and dependencies.
sudo apt-get install -y aac-tactics
Coming Soon...
Stay Updated On Our Progress