Tag: fitch-proofs Fitch Format des Épreuves - automatique de solveurs autour? computer-sciencefirst-order-logicfitch-proofslogic