Definitions

Type inference

TODO

Definition, Example

TODO

Fixpoint, CoFixpoint

TODO

Lemma, Theorem, Fact, Remark, Corollary, Proposition, Property

TODO

Hypothesis, Hypotheses, Variable, Variables

TODO

Axiom, Axioms, Conjecture, Conjectures, Parameter, Parameters

TODO

Attributes

Program

TODO

Arguments

TODO

Opaque, Transparent

TODO

Expressions

let ... in

TODO

if ... then ... else

TODO

match ... with ... end

TODO

Monads (... ;; ..., >>, >>=, let!)

TODO

Keeping everything organized

TODO