Transcendental Syntax: Building Logical Abstractions from a Low-Level Language

This GitHub project implements Jean-Yves Girard's 'Transcendental Syntax,' a method for constructing logical abstractions from a low-level, logic-agnostic language. It uses a base language called 'stellar resolution,' where elementary objects (programs) are 'constellations.' These constellations are used in a higher-level language, 'Stellogen' (a metaprogramming language for constellations), to define proofs and formulas. The project is under development, with the guide currently only available in French.