5 search results for "tag:"category: Miscellaneous/Extracted Programs/Combinatorics""

Showing 1 - 5

coq-continuations

No documentation

A toolkit to reason with programs raising exceptions

keyword: exceptions keyword: monads keyword: continuations keyword: cps category: Computer Science/Semantics and Compilation/Semantics category: Miscellaneous/Extracted Programs/Combinatorics

Jean-François Monin

8.10.0

Unknown

Used by 0 other packages

07 Dec 2019
coq-graphs

No documentation

Satisfiability of inequality constraints and detection of cycles with negative weight in graphs

keyword: graphs keyword: graph theory keyword: cycle detection keyword: paths keyword: constraints keyword: inequalities keyword: reflection category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category: Miscellaneous/Extracted Programs/Combinatorics

Jean Goubault

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-higman-cf

No documentation

A direct constructive proof of Higman's Lemma

keyword: Higman's lemma keyword: extraction category: Mathematics/Combinatorics and Graph Theory category: Miscellaneous/Extracted Programs/Combinatorics

Stefan Berghofer

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-higman-nw

No documentation

A program from an A-translated impredicative proof of Higman's Lemma

keyword: A-translation keyword: Higman's lemma keyword: impredicativity keyword: System F keyword: extraction category: Mathematics/Logic category: Mathematics/Combinatorics and Graph Theory category: Miscellaneous/Extracted Programs/Combinatorics

Hugo Herbelin

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019
coq-ramsey

No documentation

Ramsey Theory

keyword: dimension one Ramsey theorem keyword: constructive mathematics keyword: almost full sets category: Mathematics/Logic category: Mathematics/Combinatorics and Graph Theory category: Miscellaneous/Extracted Programs/Combinatorics

Marc Bezem

8.10.0

LGPL 2.1

Used by 0 other packages

07 Dec 2019