package coq-core

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

Weak-head cbn reduction. Despite the name, the cbn reduction is a complex reduction distinct from call-by-name or call-by-need.

Strong variant of cbn reduction.

OCaml

Innovation. Community. Security.