package coq-ssreflect

  1. Overview
  2. Homepage
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"
Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct