Welcome
Welcome to my blog!
See the about for more details. Here are the last 5 posts :
- Construction of the free group in coq - February 9, 2020
- Understanding the GNU Mach API - March 31, 2017
- Hacking Hurd: setting up the workflow - February 28, 2017
The complete list is here.