A reflection−based proof tactic for lattices in Coq
Daniel W.H. James and Ralf Hinze
Book Title
Post−conference proceedings of the 10th Symposium on Trends in Functional Programming (TFP 2009)
Editor
Horváth‚ Zoltán and Zsόk‚ Viktόria and Achten‚ Peter and Koopman‚ Pieter
ISBN
ISBN 978−1−84150−158−1
Location
Komarno‚ Slovakia
Pages
97−112
Publisher
Intellect
Year
2010