QUIC-FStar icon indicating copy to clipboard operation
QUIC-FStar copied to clipboard

Published 20 hours ago • verified publisher icon project-everest
→

Metadata

An implementation of the IETF QUIC protocol in F*

Results 1 QUIC-FStar issues
Sort by recently updated
recently updated
newest added

API Design

Notes from May 30 call. ```fstar module QUIC.API module G = FStar.Ghost module B = LowStar.Buffer module IB = LowStar.ImmutableBuffer module HS = FStar.HyperStack open FStar.HyperStack.ST open EverCrypt.Helpers open EverCrypt.Error...

ad-l avatar ad-l

← Metadata

17
Stars
1
Forks
Watchers

Owner

verified publisher icon project-everest

Metadata

An implementation of the IETF QUIC protocol in F*

Back