Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Treating Congruences as Equalities Within Proofs

D. Miller
2026 · International Conference on Formal Structures for Computation and Deduction · pp. 24:1-24:17 · 0 citations · 41 references
Computer Science
DOI Semantic Scholar
View source

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.