ivanbakel / coq-antivalence

Coq plugin to generate type inequality axioms for inductive definitions

9300

ivanbakel/coq-antivalence Stargazers

Anton Trunov
anton-trunov
Guillaume Claret
clarus
Joomy Korkut
joom
Kamil Adam
kamil-adam
Pedro Abreu
pedrotst
Rick Elrod
relrod
Seb Mondet
smondet
Sora Morimoto
smorimoto
Tim Kersey
tkersey

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.