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

Showing 1 - 1
  1. phox
    Documentation
    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
    16 Oct 2017