139 citations · 226 across the 8 of their papers we have counts for
1 paper · 1 filter
Grant Olney Passmore, Simon Cruanes, Denis Ignatovich +6
We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-M…