149 citations · 563 across the 54 of their papers we have counts for
1 paper · 2 filters
Christian Urban, Cezary Kaliszyk
Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi involving nam…