imiel/vanity
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
9 Commits 1 Branch 0 Tags
master
Commit Graph

4 Commits

Author SHA1 Message Date
imiel 3841943d71 small changes to README because i hated it 2026-04-27 13:33:28 +00:00
imiel f46c9b652b formalise optimiser auditing with relation ledgers and shrunk semantic counterexamples 2026-04-27 13:17:12 +00:00
imiel 31596491f0 extend source and target calculi with observable tick effects + add invariant checks for relation preservation and target arity/shape 2026-04-27 12:51:47 +00:00
imiel 42cde2128a inital commit 2026-02-11 17:24:09 +00:00