jespercockx / atacaLinks

A TACtic library for Agda
50Updated last year

Alternatives and similar repositories for ataca

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

Sorting: