Provers
- A temporal logic prover from Volpe’s work (2026-10-16)
- How Prolog corroborates the proof that Core Logic is not paraconsistent (2026-07-21, updated 2026-07-31)
- SWI-Tinker for G4+: A SWI-Prolog F.O.L. Prover with nanoCop Cross-Validation (2025-11-17)