Irc11 faa specs - #2872

Irc11 faa specs#2872

zero-to-nat merged 11 commits into

irc11verus-lang/verus:irc11from

irc11-parallel-counterverus-lang/verus:irc11-parallel-counterCopy head branch name to clipboard