超越構文：低レベル言語からの論理的抽象化の構築

このGitHubプロジェクトは、Jean-Yves Girardによる「超越構文」を実装しています。これは、低レベルで論理に依存しない言語から論理的抽象化を構築する方法です。「恒星分解」と呼ばれる基本言語を使用し、基本オブジェクト（プログラム）を「星座」と呼びます。これらの星座は、より高レベルの言語「Stellogen」（星座のためのメタプログラミング言語）で使用され、証明と式を定義します。このプロジェクトは開発中であり、ガイドは現在フランス語のみです。