7 citations · 26 across the 7 of their papers we have counts for
1 paper · 1 filter
Terru Stübinger, Lars Hupel
The Isabelle proof assistant includes a small functional language, which allows users to write and reason about programs. So far, these programs could be extracted into a number of…