Imandra

MaRDI QIDQ53612swMATHFDO

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