关于 该软件项目最初是Mark-Matthias Zymla和Moritz Messmer与Richard Crouch，Tracy Holloway King和Miriam Butt合作的一个小型项目，目的是恢复XLE使用的旧胶水证明者。我们希望为胶水语义提供一个最新的平台，由于其模块化的结构，因此既易于使用又可扩展。 该系统包含两个线性逻辑证明： 线性逻辑证明者基于Mark Hepple的图表证明者，并根据Lev（2007）中的建议进行了改进 Lev自己的线性逻辑证明器的基本实现。通常提供与