Skip to content

feat: Std.Iterators bridge with LawfulParserStream and WF recursion for folds#97

Open
NicolasRouquette wants to merge 3 commits into
fgdorais:mainfrom
NicolasRouquette:std-iterators
Open

feat: Std.Iterators bridge with LawfulParserStream and WF recursion for folds#97
NicolasRouquette wants to merge 3 commits into
fgdorais:mainfrom
NicolasRouquette:std-iterators

feat: add fold-combinator specification lemmas for m=Id\n\nAdd upstre…

8cfc6ac
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs