Latest Articles

Latest News

Books and literature

Scientific Research

  • Proving Theorems by Folding/Unfolding

    The purpose of this work is to study, formally, the provability of implicative formulas by static analysis. To do that, we propose heuristics that...

New Photos

Latest videos

preview video