package coq-ssreflect

  1. Overview
  2. No Docs
The Small Scale Reflection extension

Install

Dune Dependency

ssr.msr-inria.inria.fr Edit opam file Versions (1)

Authors

  1. J
    Jeremy Avigad <>
  2. A
    Andrea Asperti <>
  3. S
    Stephane Le Roux <>
  4. Y
    Yves Bertot <>
  5. L
    Laurence Rideau <>
  6. E
    Enrico Tassi <>
  7. I
    Ioana Pasca <>
  8. G
    Georges Gonthier <>
  9. S
    Sidi Ould Biha <>
  10. C
    Cyril Cohen <>
  11. F
    Francois Garillot <>
  12. A
    Alexey Solovyev <>
  13. R
    Russell O'Connor <>
  14. L
    Laurent Théry <>
  15. A
    Assia Mahboubi <>

Maintainers

  1. T
    thomas.braibant@gmail.com

Sources

ssreflect-1.5.tar.gz
md5=19155108bd73f5af98add53b9e418f5a

Description

Published: 13 May 2019

Dependencies (2)

  1. coq >= "8.4pl4" & < "8.5~" & != "8.4.6~camlp4"
  2. ocaml

Dev Dependencies

None

Used by (3)

  1. coq-coquelicot < "2.1.1"
  2. coq-pi-agm < "1.1.0"
  3. coq-plouffe < "1.2.0"