Ekdohibs / coq_hanoi

Formalisation of Hanoi towers in Coq

Ekdohibs/coq_hanoi Stargazers

Alexandre Janniaux
alexandre-janniaux

Links

ProductDiscover

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

Contact Site Admin: Giters.