GitHub repository: rmatthes/breadthfirstalahofmann
Primary language: Coq
Description: Breadth-first traversal following a proposal of Martin Hofmann (1993-1995)