package p4spectec

  1. Overview
  2. Docs
P4-SpecTec: A mechanization toolchain for the P4 Programming Language

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. K
    KAIST PLRG

Maintainers

  1. 9
    99jaehyunlee@kaist.ac.kr

Sources

v0.1.1.tar.gz
md5=811ec4cd51a5970259bfe61c295de26c
sha512=6c7c2b609d724eda75e295994bafa4124054fd258b49fbc4759cb993052552fe44f97b7683b2da4d61216faee70d72a3bbaa92562c28224f2702cd16ff1f91b3

doc/index.html

p4spectec