BaKoMa Tex 背后的技术

Question

我最近在使用 BaKoMa Tex，我很喜欢他们拥有的实时同步技术。我尝试搜索他们的技术，但找不到太多相关信息。他们不知怎么使用 latex 引擎来编译代码，但我无法理解，他们如何使输出可编辑？

如果这里有人能弄清楚 BaKoMa 背后的技术，请与我分享。