50 skills found · Page 1 of 2
math-comp / Math CompMathematical Components
math-comp / AnalysisMathematical Components compliant Analysis Library
rocq-community / FourcolorFormal proof of the Four Color Theorem [maintainer=@ybertot]
ilyasergey / PnpLecture notes for a short course on proving/programming in Coq via SSReflect.
njpipeorgan / MathCompileCompile Wolfram Language functions into C++ code and binary
math-comp / Hierarchy BuilderHigh level commands to declare a hierarchy based on packed classes
DistributedComponents / DiselDistributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
affeldt-aist / InfotheoA Rocq formalization of information theory and linear error-correcting codes
affeldt-aist / MonaeMonadic effects and equational reasoning in Rocq
rocq-community / CoqealThe Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
rocq-community / AutosubstAutomation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
anton-trunov / Csclub Coq Course Spring 2021A course on formal verification at https://compsciclub.ru/en, Spring term 2021
math-comp / FinmapFinite sets, finite maps, multisets and generic sets
rocq-community / Fav SsrFunctional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
rocq-community / ReglangRegular Language Representations in Coq [maintainers=@chdoc,@palmskog]
rocq-community / Graph TheoryGraph Theory [maintainers=@chdoc,@damien-pous]
math-comp / Algebra TacticsRing, field, lra, nra, and psatz tactics for Mathematical Components
math-comp / Odd OrderThe formal proof of the Odd Order Theorem
rocq-community / GaiaImplementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
arthuraa / ExtructuresFinite sets and maps for Coq with extensional equality
