package elina

  1. Overview
  2. Docs
ETH LIBRARY FOR NUMERICAL ANALYSIS

Install

Dune Dependency

elina.ethz.ch Edit opam file Versions (5)

Authors

  1. G
    Gagandeep Singh
  2. M
    Markus Püschel
  3. M
    Martin Vechev

Maintainers

  1. G
    Gagandeep Singh <gsingh@inf.ethz.ch>

Sources

elina-1.1.tar.gz
sha256=4cfb700742d6ad401f8e36178115067b1a4c62a2d0d04efc41dd073cf5f4d5db
md5=10964a7f066096250397b321a3fcf900

doc/index.html

elina

API

Library elina

No module.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct