Explore projects

fork of https://github.com/loumalouomega/getpot-cpp

A Coq formalization of real analysis compatible with the standard library.

Aseba is a set of tools which allow beginners to program robots easily and efficiently. To contact us, please open an issue.