GitHub repository: rinshankaihou/pathway_finding_ver
Description: Verifying pathway finding algorithm with coq.