This is an unofficial reimagining of the Archive of Formal Proofs
Depth First Searchby Toshiaki Nishihara and Yasuhiko Minamide