Giters
jespercockx
/
ataca
A TACtic library for Agda
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
48
Watchers:
10
Issues:
1
Forks:
4
jespercockx/ataca Watchers
eemailme
G. Allais
gallais
Ian Voysey
ivoysey
Jesper Cockx
jespercockx
James Cloos
jhcloos
Jon Sterling
jonsterling
Joomy Korkut
joom
Kamil Adam
kamil-adam
Scott Fleischman
scott-fleischman
Matthías Páll Gissurarson
Tritlo
