package rocq-sims

  1. Overview
  2. Homepage
A library of various strong and weak simulation relations

Install

Dune Dependency

Authors

Maintainers

Sources

rocq-sims-0.2.tar.gz
sha512=ed0b3a0e9a0f893ef8c70ccca2886679c5e3f28a16a9575a62baead6914a6082f8f74a10257a17457359dcbdac4f52270ad88bfd2d464180c74c358e421d99d6
Rocq

Interactive Theorem Prover