6 search results for "author:"damien.pous@ens-lyon.fr""

Showing 1 - 6

coq-coinduction

No documentation

Compatibility package for rocq-coinduction

Damien Pous <Damien.Pous@ens-lyon.fr>

1.21

LGPL-3.0-or-later

Used by 2 other packages

19 Sep 2025
coq-relation-algebra

No documentation

Compatibility package for rocq-relation-algebra

Damien Pous <Damien.Pous@ens-lyon.fr>

1.8.0

LGPL-3.0-or-later

Used by 3 other packages

19 Sep 2025
rocq-categories

No documentation

A library for category theory

keyword:category theory keyword:monoidal categories keyword:MacLane's coherence theorem keyword:string diagrams keyword:setoid logpath:Categories date:2026-05-07

Damien Pous <Damien.Pous@ens-lyon.fr>

1.0

LGPL-3.0-or-later

Used by 0 other packages

18 May 2026
rocq-coinduction

No documentation

A library for doing proofs by (enhanced) coinduction

keyword:coinduction keyword:up to techniques keyword:companion keyword:bisimilarity logpath:Coinduction date:2025-09-17

Damien Pous <Damien.Pous@ens-lyon.fr>

1.22

LGPL-3.0-or-later

Used by 1 other packages

07 May 2026
rocq-partial-orders

No documentation

A library for setoids, partial orders, complete lattices and related structures

keyword:partial order keyword:setoid keyword:lattice keyword:CPO keyword:Pataraia keyword:BourbakiWitt logpath:PartialOrders date:2026-05-07

Damien Pous <Damien.Pous@ens-lyon.fr>

1.0

LGPL-3.0-or-later

Used by 1 other packages

18 May 2026
rocq-relation-algebra

No documentation

Relation Algebra and KAT in Rocq

keyword:relation algebra keyword:Kleene algebra with tests keyword:KAT keyword:allegories keyword:residuated structures keyword:automata keyword:regular expressions keyword:matrices category:Mathematics/Algebra logpath:RelationAlgebra

Damien Pous <Damien.Pous@ens-lyon.fr> Christian Doczkal <christian.doczkal@ens-lyon.fr>

1.9.0

LGPL-3.0-or-later

Used by 1 other packages

07 May 2026