1 Search Results
nuscr
A tool to manipulate and validate Scribble-style multiparty protocols
2.1.1
GPL-3.0-or-later
Used by 0 other packages