编程语言libraryRocq Prover

tarjan

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

18 stars8 forksNOASSERTION更新于 2026/4/27

GitHub 仓库

coqmathcompmathcomp-cissreflecttarjan-algorithm

暂无详细内容

同类推荐

freeCodeCamp

freeCodeCamp.org's open-source codebase and curriculum. Learn math, programming, and computer science for free.

443,679

Python

All Algorithms implemented in Python

220,298

You-Dont-Know-JS

A book series (2 published editions) on the JS language.

184,444

vscode

Visual Studio Code

184,319

flutter

Flutter makes it easy and fast to build beautiful apps for mobile and beyond

176,114

gitignore

A collection of useful .gitignore templates

173,585