Skip to content

Latest commit

 

History

History
1 lines (1 loc) · 88 Bytes

README.md

File metadata and controls

1 lines (1 loc) · 88 Bytes

This is a library used to check the XIPs (CAIPs, DIPs, EIPs, ..) for formal correctness.