34 citations · 34 across the 1 of their papers we have counts for
1 paper · 1 filter
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…