package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Substitution of tactics at module closing time

For generic arguments, we declare and store substitutions in a table

Misc

OCaml

Innovation. Community. Security.