End of SRI visit Requires - lambdapi https://github.com/gabrielhdt/lambadpi rev. 26595123d2dd8b98289a3bc9ece76afbe93d1492 - PVS7.1 (sbcl or allegro)
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
End of SRI visit Requires - lambdapi https://github.com/gabrielhdt/lambadpi rev. 26595123d2dd8b98289a3bc9ece76afbe93d1492 - PVS7.1 (sbcl or allegro)