milner af32b21463 initial commit: confluence and normalisation

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

..

dependency.dot

initial commit: confluence and normalisation

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

dependency.png

initial commit: confluence and normalisation

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

dependency.svg

initial commit: confluence and normalisation

2026-09-22 09:20: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

initial commit: confluence and normalisation

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