Mentions légales du service

Skip to content
20220205
default avatar
gabrielhondet@gmail.com
df8a1b10 · Merge branch 'devel' · 
End of SRI visit

Requires
- lambdapi
  https://github.com/gabrielhdt/lambadpi
  rev. 26595123d2dd8b98289a3bc9ece76afbe93d1492
- PVS7.1 (sbcl or allegro)