Interactive theorem proving with tasks (2004)

by M. Hübner, S. Autexier, C. Benzmüller, A. Meier
Venue:Electronic Notes in Theoretical Computer Science 103 (2004