package orthologic-coq

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

A plugin to add orthologic-based tactics to Coq

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

S

Simon Guilloud
C

Clément Pit-Claudel

Maintainers

S

Simon Guilloud

Sources

orthologic-coq-0.9.1.tbz

sha256=60a9eeb27b6ad0a6fadb4127f5a7fdc194133dc55fa627e5eaedbee58a58651e

sha512=bab767857cecbb1529e599785f2485e62171a55b7ec34483976a9a15e8223167c52a2977f88752e64f17fd1b4e6fde682b608bd046b2a7867da2eca10844cf57

doc/src/orthologic-coq.plugin/oLCoq.ml.html

Source file `oLCoq.ml`

1
2
3
4
5
6
7
8
9
10
(* generated by dune *)

(** @canonical OLCoq.Ce_api *)
module Ce_api = OLCoq__Ce_api

(** @canonical OLCoq.Ce_syntax *)
module Ce_syntax = OLCoq__Ce_syntax

(** @canonical OLCoq.Ol *)
module Ol = OLCoq__Ol

package orthologic-coq

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/orthologic-coq.plugin/oLCoq.ml.html

Source file oLCoq.ml

Source file `oLCoq.ml`