Sintaxe Transcendental: Construindo Abstrações Lógicas a partir de uma Linguagem de Baixo Nível

Este projeto GitHub implementa a 'Sintaxe Transcendental' de Jean-Yves Girard, um método para construir abstrações lógicas a partir de uma linguagem de baixo nível, agnóstica à lógica. Ele usa uma linguagem base chamada 'resolução estelar', onde os objetos elementares (programas) são 'constelações'. Essas constelações são usadas em uma linguagem de nível superior, 'Stellogen' (uma linguagem de metaprogramação para constelações), para definir provas e fórmulas. O projeto está em desenvolvimento, com o guia atualmente disponível apenas em francês.