Arguments
- Descartes’s First Proof of God’s Existence in First-Order Logic (2021-07-21, updated 2025-08-23)
Provers
- SWI-Tinker for G4-mic F.O.L. Prover (2025-11-17, updated 2025-11-17)
En français
- Propositions pour l’enseignement supérieur (2022-12-28, updated 2025-08-22)