jespercockx / ataca

A TACtic library for Agda
48Updated 6 months ago

Alternatives and similar repositories for ataca:

Users that are interested in ataca are comparing it to the libraries listed below