Examples

Check Matching Brackets in OCaml

Computing Real-Valued Vector l2-norm in OCaml

Deleting Elements From a List by Indexes in OCaml

Evaluation of Proposition AST in OCaml

Proving Image Set Equation for Injective Functions

Proving Length Preservation by List Map

Proving Structural Equivalence of List Length Computations

Proving the Intersection of Sets is Empty

Tail-Recursive List Mapping Function in OCaml

Tail-Recursive List Reversal Function in OCaml

Tail-Recursive Lucas Sequence Computation in OCaml

Tail-Recursive Tree Search in OCaml