Similar Items: Glivenko's theorems from an ecumenical perspective
- Preservation Theorems in Semiring Semantics
- TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
- Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
- A Fibrational Perspective on Differential Linear Logic
- From Tensor Networks to Tractable Circuits, and back
- Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT