Taclets and the KeY Prover
Martin Giese · Electronic Notes in Theoretical Computer Science · 2004
We give a short overview of the KeY prover -which is the proof system belonging to the KeY tool [1] -from a user interface perspective.In particular, we explain the concept of taclets, which are the basic building blocks for proofs in the KeY prover.