package lem

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

Install

Dune Dependency

Authors

Maintainers

Sources

2022-12-10.tar.gz
md5=d5e167df4aaefc3b64ef2dc28436130d
sha512=09b4fc9bdcd3ad95432bb8fbadef9025d3dece6a8d66c390eafc33d6c02ede5044d60291c2b46558905a5941df54a6f8cccf8be7865cbf028f4d9de3042f120e

doc/index.html

lem

API

Library lem_num

No module.

Library lem_zarith

No module.

OCaml

Innovation. Community. Security.