Induction Principle for ValueSet - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

73 stars 20 forks source link

Induction Principle for ValueSet #409

Closed zachary-kent closed 1 year ago

zachary-kent commented 1 year ago

Implements a more useful induction principle for ValueSet.