1 citations · 1 across the 1 of their papers we have counts for
1 paper
Johanna Schwartzentruber, Brigitte Pientka
We present a sound and complete focusing calculus for the core of the logic behind the proof assistant Beluga as well as an overview of its implementation as a tactic in Beluga's i…