Skip to content

Latest commit

 

History

History
56 lines (50 loc) · 2.83 KB

proofinit.maude

File metadata and controls

56 lines (50 loc) · 2.83 KB