Fabrice Rouillier


You will not find many versions of my publications on ArXiv since I am mostly using TeXmacs for writing and ArXiv does not support neither TeXmacs nor pdf files generated with TeXmacs.

Ongoing work

To appear

Publications