Joseph Vidal-Rosset - Personal Blog
Philosophy, Logic & Emacs
Home
|
About
|
Arguments
|
Provers
|
Code
|
En français
Provers
SWI-Tinker for G4+: A SWI-Prolog F.O.L. Prover with nanoCop Cross-Validation
(2025-11-17, updated 2026-02-27)
