kth-step / HOL4P4

P4 formalization using Ott and HOL4
9Updated last week

Related projects

Alternatives and complementary repositories for HOL4P4