Documentation for ADT
Opened this issue · 0 comments
SimonGuilloud commented
Include documentation on ADT in the manual, from Andrea's thesis and the paper Mechanized HOL Reasoning in Set Theory.
Opened this issue · 0 comments
Include documentation on ADT in the manual, from Andrea's thesis and the paper Mechanized HOL Reasoning in Set Theory.