Transzendentale Syntax: Aufbau logischer Abstraktionen aus einer Low-Level-Sprache

Dieses GitHub-Projekt implementiert Jean-Yves Girards „Transzendentale Syntax“, eine Methode zum Aufbau logischer Abstraktionen aus einer Low-Level-Sprache, die logikagnostisch ist. Es verwendet eine Basissystemsprache namens „Stellar Resolution“, wobei elementare Objekte (Programme) „Konstellationen“ genannt werden. Diese Konstellationen werden in einer höheren Programmiersprache namens „Stellogen“ (eine Metaprogrammiersprache für Konstellationen) verwendet, um Beweise und Formeln zu definieren. Das Projekt befindet sich in der Entwicklung, wobei die Anleitung derzeit nur auf Französisch verfügbar ist.