Imandra

swMATH37911MaRDI QIDQ53612FDOQ53612

Author name not available (Why is that?)

Official website: https://arxiv.org/abs/2004.10263

Cited In (6)

• Zeno
• ForMaRE
• VerifyThis
• Inductive benchmarks for automated reasoning
• Integer induction in saturation
• eThor

This page was built for software: Imandra