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