Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2004.10263
Cited By
The Imandra Automated Reasoning System (system description)
21 April 2020
Grant Passmore
Simon Cruanes
Denis Ignatovich
Dave Aitken
Matt Bray
Elijah Kagan
K. Kanishev
E. Maclean
Nicola Mometto
LRM
AI4CE
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"The Imandra Automated Reasoning System (system description)"
1 / 1 papers shown
Title
Isabelle/jEdit --- a Prover IDE within the PIDE framework
M. Wenzel
VLM
73
72
0
14 Jul 2012
1
