tutorial_material

proof script associated to tutorial material

Search similar apps

    License

    proof script associated to tutorial material

    Creator

    math-comp

    Related apps

    finmap

    Finite sets, finite maps, multisets and generic sets

    Coq45

    10 months ago

    coqfinite-setsmathcomp

    mczify

    Micromega tactics for Mathematical Components

    Coq21

    5 months ago

    coqmathcompproof-automation

    algebra-tactics

    Ring, field, lra, nra, and psatz tactics for Mathematical Components

    Coq28

    5 months ago

    coqelpimathcomp

    analysis

    analysis

    Mathematical Components compliant Analysis Library

    Coq167other

    4 months ago

    analysiscoqmathcomp

    hierarchy-builder

    High level commands to declare a hierarchy based on packed classes

    Prolog83mit

    4 months ago

    coqelpimathcomp

    odd-order

    The formal proof of the Odd Order Theorem

    Coq23

    5 months ago

    coqfeit-thompson-theoremmathcomp

    tarjan

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

    Coq9

    11 months ago

    coqmathcompssreflect

    docker-mathcomp

    Docker images of coq-mathcomp [maintainer=@erikmd]

    Dockerfile6bsd-3-clause

    5 months ago

    cicoqdocker-image