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

    Coq46

    6 months ago

    coqfinite-setsmathcomp

    algebra-tactics

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

    Coq32

    2 months ago

    coqelpimathcomp

    docker-mathcomp

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

    Dockerfile6bsd-3-clause

    4 months ago

    cicoqdocker-image