A parser and type checker for ISO Standard Z (ISO/IEC 13568:2002, available at https://www.iso.org/standard/21573.html).
More information about this project can be found on its Wiki.
-
Notifications
You must be signed in to change notification settings - Fork 0
A parser and type checker for ISO Standard Z (ISO/IEC 13568:2002, available at https://www.iso.org/standard/21573.html).
License
RandallYe/ISOZ-Parser-TypeChecker
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A parser and type checker for ISO Standard Z (ISO/IEC 13568:2002, available at https://www.iso.org/standard/21573.html).
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published