This is a library used to check the XIPs (CAIPs, DIPs, EIPs, ..) for formal correctness.
komputing/XIP-checker
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a library used to check the XIPs (CAIPs, DIPs, EIPs, ..) for formal correctness.