Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

R

repr

Project information

The 'regular expresions as linear logic' interpretation and its implementation

Rust automata proof-search

+ 9 more

615 Commits
4 Branches
0 Tags

README
MIT License

Created on

August 27, 2023

Copy SSH clone URLgit@gitlab.com:synthetic/repr.git
Copy HTTPS clone URLhttps://gitlab.com/synthetic/repr.git

Loading