Ekdohibs / coq_hanoi

Formalisation of Hanoi towers in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Ekdohibs/coq_hanoi Stargazers