# Pijul related publications

**URL:** <https://discourse.pijul.org/t/pijul-related-publications/999>\
**Category:** Question\
**Created:** [October 18, 2022, 9:48am UTC](https://discourse.pijul.org/t/pijul-related-publications/999 "2022-10-18T09:48:06Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![bbros-dev](https://yyz1.discourse-cdn.com/flex031/user_avatar/discourse.pijul.org/bbros-dev/32/494_2.png) [@bbros-dev](https://discourse.pijul.org/u/bbros-dev)\
**Post date:** [October 18, 2022, 9:48am UTC](https://discourse.pijul.org/t/pijul-related-publications/999/1 "2022-10-18T09:48:06Z")

</div>

Hi, are there any publications or other documents setting out the proofs/calculations that Pijul implements?

---

<div class="post-metadata">

**Author:** ![laumann](https://yyz1.discourse-cdn.com/flex031/user_avatar/discourse.pijul.org/laumann/32/8_2.png) [@laumann](https://discourse.pijul.org/u/laumann)\
**Post date:** [October 28, 2022, 9:56am UTC](https://discourse.pijul.org/t/pijul-related-publications/999/2 "2022-10-28T09:56:34Z")

</div>

As for publications I’m only really aware of the [A Categorical Theory of Patches](https://arxiv.org/abs/1311.3903) 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](https://jneem.github.io/archive/) also does a good job of explaining the basic theory.

The [theory page](https://pijul.org/manual/theory.html) 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.