package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Conditions : sig ... end

Generates verification conditions from scope definitions

module Globals : sig ... end

This sub-lib relies on global refs in many places. This should be cleaned up.

module Io : sig ... end

Common code for handling the IO of all proof backends supported

module Solver : sig ... end

Solves verification conditions using various proof backends

module Z3backend : sig ... end

Interfacing with the Z3 SMT solver

OCaml

Innovation. Community. Security.