Calculemus

API Reference

Available Namespaces:

Namespace Description
Calculemus Types, functions, operators and procedures for automated/interactive reasoning in first order logic.
Calculemus.Lib Basic library for the global implementation.