milner 0e1a6659b4 add(named): congruence of the C equivalence and the R rule with capture avoidance (M5 named rules)

2026-09-22 23:04:00 +02:00

..

dependency.dot

add(named): congruence of the C equivalence and the R rule with capture avoidance (M5 named rules)

2026-09-22 23:04:00 +02:00

dependency.png

add(named): congruence of the C equivalence and the R rule with capture avoidance (M5 named rules)

2026-09-22 23:04:00 +02:00

dependency.svg

add(named): congruence of the C equivalence and the R rule with capture avoidance (M5 named rules)

2026-09-22 23:04:00 +02:00

dune

add(graphs): derive theorem metadata from the sources and add graphs and audit build aliases (no drift)

2026-09-22 12:02:00 +02:00

index.txt

add(named): a named metaterm calculus with the C equation and the RX rule (M5 named rules)

2026-09-22 22:15:00 +02:00

reduction.dot

initial commit: confluence and normalisation

2026-09-22 09:20:00 +02:00

reduction.png

initial commit: confluence and normalisation

2026-09-22 09:20:00 +02:00

reduction.svg

initial commit: confluence and normalisation

2026-09-22 09:20:00 +02:00

rules.dot

initial commit: confluence and normalisation

2026-09-22 09:20:00 +02:00

rules.png

initial commit: confluence and normalisation

2026-09-22 09:20:00 +02:00

rules.svg

initial commit: confluence and normalisation

2026-09-22 09:20:00 +02:00

theorems.json

add(named): congruence of the C equivalence and the R rule with capture avoidance (M5 named rules)

2026-09-22 23:04:00 +02:00