6 citations · 6 across the 2 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…