#Alpha2.0ProjectEvaluation Ce dépôt contient du pseudocode et des algorithmes pour l'article "$\text{Alpha}^2$: Découverte d'Alpha logiques formulaires à l'aide de l'apprentissage par renforcement profond". Il ne contient pas de version exécutable de

Alpha

2

, mais fournit les principes de conception et les structures de code.