GitHub repository: kth-step/HOL4P4
Primary language: Standard ML
Description: P4 formalization using Ott and HOL4