Open source for `HyperTree` paper or `Equations`?

Stream: Machine Learning for Theorem Proving

[Tom Chen]

The HyperTree Proof Search for Neural Theorem Proving paper by @Guillaume et al looks quite interesting and shows promising results. Thus, I wonder whether there is a plan to open-source the Equations environment mentioned in the paper, and/or the source code of the paper? Thanks!