Project Summary
Lem is a tool for lightweight executable mathematics, for writing, managing, and publishing large-scale semantic definitions, with export to LaTeX, executable code (currently OCaml) and interactive theorem provers (currently Coq, HOL4, and Isabelle/HOL).
It is also intended as an intermediate language for generating definitions from domain-specific tools, and for porting definitions between interactive theorem proving systems.
In a Nutshell, Lem (lightweight executable mathematics)...
Quick Reference
https://bitbucket.org/Peter_Sewe...
BSD 3-clause "New" or "Revised" License
Permitted
Commercial Use
Modify
Distribute
Place Warranty
Forbidden
Hold Liable
Use Trademarks
Required
Include Copyright
Include License
These details are provided for information only. No information here is legal advice and should not be used as such.
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
in 2016, 47% of companies did not have formal process in place to track OS code
-
...
compare projects before you chose one to use
-
...
65% of companies leverage OSS to speed application development in 2016
-
...
you can subscribe to e-mail newsletters to receive update from the Open Hub blog