34 citations · 34 across the 1 of their papers we have counts for
1 paper
Lawrence C. Paulson
Isabelle is a generic theorem prover, designed for interactive reasoning in a variety of formal theories. At present it provides useful proof procedures for Constructive Type Theor…