reglang icon indicating copy to clipboard operation
reglang copied to clipboard

Published 20 hours ago • verified publisher icon coq-community
→

Metadata

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

Results 1 reglang issues
Sort by recently updated
recently updated
newest added

Refinements for performance of extracted code

14 comment

This is an ongoing effort to document how the executable parts of reglang could be refined to have better performance in practice for extracted code. This kind of refinement could...

palmskog avatar palmskog

← Metadata

42
Stars
6
Forks
Watchers

Owner

verified publisher icon coq-community

Metadata

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

Back