Consider installing Petr4 in install scripts #79
Description
https://github.com/verified-network-toolchain/petr4
Along with some simple instructions and examples of what one can do with it.
{{ message }}
https://github.com/verified-network-toolchain/petr4
Along with some simple instructions and examples of what one can do with it.