Discover Open Source Apps, Apps with Code, iOS Apps with Code, Android Apps with Code, Games with Code

Platform:

Language:

License:

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq11

9 months ago

coqmathcompmathcomp-ci

Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr

Coq9

last year

coqmathcompssreflect

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly

Coq11

9 months ago

coqmathcompmathcomp-ci