package coq-smlms

  1. Overview
  2. Homepage
A formal semantics capturing value binding in a language with a powerful module system such as OCaml.

Install

Dune Dependency

gitlab.com Edit opam file Versions (1)

Authors

  1. H
    Hugo Férée

Maintainers

  1. H
    Hugo Férée <feree@irif.fr>

Sources

coq-smlms-v1.0.0.tar.gz
sha256=edde3149da9a2cc3c5cbf1f91f73f34d0e7a41304fa2b8051f97edfe69a5bfff

Description

Tags

category:Computer Science/Semantics and Compilation/Semantics keywords: adequacy keywords: modules keywords: module types keywords: OCaml keywords: refactoring keywords: renaming keywords: semantics logpath:AbstractRenaming date:2023-02-14

Published: 16 Feb 2023

Dependencies (2)

  1. coq >= "8.15.1"
  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