Skip to content

stdlib: new lemmas (lists, bytes, distr)

08b8417
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

New lemmas for stdlib. BitChunking: chunk_nil, chun_exact; List: mkseq2; DList: dmap_dlist_partial_perm. #942

stdlib: new lemmas (lists, bytes, distr)
08b8417
Select commit
Loading
Failed to load commit list.