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 <ggnds@illinois.edu>

Sources

elina-1.3.tar.gz
sha256=c25a8979776426888c392aad0e23436dc80d1cad1b7ca543193ed23b831d8a1a
md5=e0c78d7b0a7afaee871a057b83d06a76

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