Conference item icon

Conference item

A reflection−based proof tactic for lattices in Coq

Actions


Authors


Daniel W.H. James More by this author
Ralf Hinze More by this author
Publisher:
Intellect
Publication date:
2010
URN:
uuid:46ba63f6-66c0-48e4-bec6-0921f295bfc1
Local pid:
cs:4861
ISBN:
ISBN 978-1-84150-158-1

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP