package coq-cfgv

  1. Overview
  2. Homepage
Generic Proofs about Alpha Equality and Substitution

Install

Dune Dependency

www.nuprl.org Edit opam file Versions (6)

Authors

  1. A
    Abhishek <abhishek.anand.iitg@gmail.com> [http://www.cs.cornell.edu/~aa755/]
  2. V
    Vincent Rahli <vincent.rahli@gmail.com> [http://www.cs.cornell.edu/~rahli/]

Maintainers

  1. H
    Hugo.Herbelin@inria.fr

Sources

v8.10.0.tar.gz
md5=9376a8527f8b508f6db9faf8c7d0c960

Description

Please read the following paper

Tags

keyword: generic programming keyword: variable bindings keyword: context free grammars keyword: substitution keyword: alpha equality keyword: equivariance category: Computer Science/Lambda Calculi

Published: 07 Dec 2019

Dependencies (2)

  1. coq >= "8.10" & < "8.11~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

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