12 citations · 12 across the 1 of their papers we have counts for
1 paper · 1 filter
Freek Wiedijk
We present a version of the HOL Light system that supports undoing definitions in such a way that this does not compromise the soundness of the logic. In our system the code that k…