jespercockx / atacaLinks

A TACtic library for Agda
48Updated 8 months ago

Alternatives and similar repositories for ataca

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

Sorting: