hanoi

Hanoi tower in Coq

GitHub
23 stars
2 watching
1 forks
Language: Coq
last commit: 11 months ago
Linked from 2 awesome lists


Backlinks from these awesome lists: