Hi, are there any publications or other documents setting out the proofs/calculations that Pijul implements?
As for publications I’m only really aware of the A Categorical Theory of Patches but my understanding is that Pijul has had to overcome some issues or shortcomings from that paper.
This series of blog posts Archive | A new version also does a good job of explaining the basic theory.
The theory page in the Pijul manual also does a good job of explaining how the system works.
As for proofs or other publications I’m not aware of any specifically for Pijul, so I’d also be interested knowing of any.