초월 구문: 저수준 언어를 사용한 논리적 추상화 구축

이 GitHub 프로젝트는 Jean-Yves Girard의 '초월 구문'을 구현합니다. 이는 저수준의 논리에 의존하지 않는 언어에서 논리적 추상화를 구축하는 방법입니다. '항성 분해'라는 기본 언어를 사용하며, 기본 객체(프로그램)를 '별자리'라고 합니다. 이 별자리들은 더 높은 수준의 언어인 'Stellogen'(별자리를 위한 메타 프로그래밍 언어)에서 사용되어 증명과 수식을 정의합니다. 이 프로젝트는 개발 중이며, 가이드는 현재 프랑스어로만 제공됩니다.