Imandra

swMATH37911MaRDI QIDQ53612FDOQ53612

Author name not available (Why is that?)

Cited In (3)

• Inductive benchmarks for automated reasoning
• Induction with generalization in superposition reasoning
• Integer induction in saturation

This page was built for software: Imandra