French Système F Cited by user JeanCASPAR on 15 Apr 2024 Le système F est un formalisme logique qui permet d'exprimer de façon très riche et très rigoureuse des fonctions et d'y démontrer formellement des propriétés difficiles.