OCaml-Canvas: a portable Canvas library for OCamlThe OCaml-Canvas library provides a portable Canvas framework for OCaml. It features an interface similar to HTML5 Canvas, and can render to native X11, MS Windows or macOS windows. It also features a small wrapper around HTML5 Canvas, allowing to use the library in any web browser. In addition, it allows to handle keyboard and mouse events. Project on Github General Documentation API Documentatio
Introduction - Verification For Dummies: SMT and Induction by OCamlPro
