Calcul avec OCaml
These modules may be used as interactive calculus constructions when loaded in the ocaml pseudo_interpreter, or as calculus library.
[ Homepage ]
| Author: | Stéphane Grognet. |
| Last modification date: | 25-Sep-2012 |
| Version: | 0.3 |
| Kind: | Libraries :: Native OCaml libraries |
| License: | Open Source :: QPL |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://www.irem.sciences.univ-nantes.fr/Calcul/Ocaml/index.html |