Branches · Quentin Aristote / Monoidal transducers minimization · GitLab

Active branches

review

6d7c6e39 · algorithms: proofread, reorganize · May 26, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar
calco2023

5422c22a · shorten and fix typos · Mar 06, 2023

Compare

Download source code

zip tar.gz tar.bz2 tar
master default protected

2fcfe1d4 · update refs · Mar 03, 2023

Download source code

zip tar.gz tar.bz2 tar