Pijul related publications

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.

1 Like