41 citations · 223 across the 22 of their papers we have counts for
1 paper · 1 filter
James Gallicchio, Yong Kiam Tan, Stefan Mitsch +1
Definition packages in theorem provers provide users with means of defining and organizing concepts of interest. This system description presents a new definition package for the h…