Syntaxe Transcendantale : Construction d'abstractions logiques à partir d'un langage de bas niveau

Ce projet GitHub implémente la « syntaxe transcendantale » de Jean-Yves Girard, une méthode de construction d'abstractions logiques à partir d'un langage de bas niveau, indépendant de la logique. Il utilise un langage de base appelé « résolution stellaire », dont les objets élémentaires (programmes) sont des « constellations ». Ces constellations sont utilisées dans un langage de niveau supérieur, « Stellogen » (un langage de métaprogrammation pour les constellations), pour définir des preuves et des formules. Le projet est en cours de développement, le guide étant actuellement disponible uniquement en français.