sneeker/lambda-sub
1
30 Fork 3
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
9 Commits 1 Branch 0 Tags
279fb5c88179c00a575735ad92a8151bc3a4fbb7
Commit Graph
2 Commits
Author SHA1 Message Date
milner 279fb5c881 add(subsystem): occurrence count per explicit substitution and the absence of a critical overlap between R and Gc (M3 infrastructure) 2026-09-22 13:49:00 +02:00
milner 0cc5707ce0 add(subsystem): define the relation generated by R and Gc and prove its embedding into red1 (M3 infrastructure) 2026-09-22 12:59:00 +02:00