1 search result for "author:"Christophe Raffalli <christophe.raffalli@univ-savoie.fr>""

  1. phox
    PhoX is an implementation of Higher Order Logic
    Christophe Raffalli <christophe.raffalli@univ-savoie.fr>
    0.89.170929
    LGPL-3.0-only
    Used by 0 other packages
    Last published 16 Oct 2017