jespercockx / atacaLinks

A TACtic library for Agda
48Updated 9 months ago

Alternatives and similar repositories for ataca

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

Sorting: