超越语法：一种基于恒星分解的逻辑抽象构建方法

这个GitHub项目实现了Jean-Yves Girard提出的“超越语法”，这是一种从低级“逻辑不可知”语言构建逻辑抽象的方法。它使用名为“恒星分解”的底层语言，其基本对象（程序）称为“星座”。这些“星座”在高级语言“Stellogen”（一种用于星座的元编程语言）中用于定义证明和公式。该项目仍在开发中，目前指南仅提供法语版本。