teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
160 commits 3 branches 0 tags 1.1 MiB
Commit graph

1 commit

Author SHA1 Message Date
Joeri Exelmans
c351649d23 Add 'cloner'. Example also uses concrete syntax for LHS and RHS. Renders all possible rewrites and morphisms with LHS and RHS. 2024-10-08 12:22:37 +02:00