Documentation of functors extraction
This is a draft for the documentation of functors extraction.
Edited by Mário Pereira
Prochaine maintenance programmée : lundi 01/07
Pour plus d'informations : https://doc-si.inria.fr/display/SU/Gitlab
This is a draft for the documentation of functors extraction.