Journal of Formalized Reasoning - Le Journal of Formalized Reasoning est une revue scientifique à évaluation par les pairs en libre accès créée en 2009. - La revue publie des articles sur les recherches en dans tous les domaines, y compris les mathématiques classiques, le constructivisme, l...