Automatisation des preuves

This section is devoted to provers or verifiers of theorems in mathematical logic.

Posts in this category