package coq-scev

  1. Overview
  2. No Docs
Proofs and simplification lemmas of an algebraic theory of recurrences

Install

Dune Dependency

github.com Edit opam file Versions (1)

Authors

  1. S
    Siddharth Bhat

Maintainers

  1. S
    siddu.druid@gmail.com

Sources

coq-scev-v1.1.zip
md5=cfaed133aed461300fda68705efacdc7

Description

Tags

keyword:mathematics category:Miscellaneous/Coq Extensions date:2016-09-01 logpath:coq-scev

Published: 20 Nov 2018

Dependencies (2)

  1. coq >= "8.5" & < "8.6~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None