Explore projects

Implementation of bigraphs in Coq.

forked from https://github.com/amtoine/dotfiles

This project contains gazebo simulations environment for use with ros2.

The PhD day at ISAE-Supaero. (template from https://github.com/hakimel/reveal.js)