package universo

  1. Overview
  2. Docs

universo 2.7

Libraries

This package provides the following libraries (via ocamlobjinfo):

universo.api

Documentation:

universo.checking

Documentation:

universo.common

Documentation:

universo.elaboration

Documentation:

universo.solving

Documentation: