Arguments
- Descartes’s First Proof of God’s Existence in First-Order Logic (2021-07-21, updated 2026-01-16)
Provers
- SWI-Tinker for G4+: A F.O.L. Prover with nanoCop Cross-Validation (2025-11-17, updated 2026-01-16)
En français
- Propositions pour l’enseignement supérieur (2022-12-28, updated 2026-01-16)