package lem

  1. Overview
  2. Docs
Lem is a tool for lightweight executable mathematics

Install

Dune Dependency

Authors

Maintainers

Sources

2020-06-03.tar.gz
md5=e0a61a7eee9d444dfb377c2b214c1fc6
sha512=dcc5c83b4a415699372bfb18fd8b037f602d82d08bf63a6b02ab157deb467e5e84cf8eb31d8e6c27c713eb454fb29b77d1c42928133b2e72249db4c2992d95b8

doc/index.html

lem

API

Library lem_num

No module.

Library lem_zarith

No module.

OCaml

Innovation. Community. Security.