البنية النَّقلية: بناء التجريدات المنطقية من لغة منخفضة المستوى

يُنفِّذ مشروع جيثب هذا "البنية النَّقلية" التي اقترحها جان-إيف جيرار، وهي طريقة لبناء التجريدات المنطقية من لغة منخفضة المستوى، لا تعتمد على المنطق. يستخدم لغة أساسية تسمى "التحليل النجمي"، حيث تُسمى الكائنات الأولية (البرامج) "الكوكبات". تُستخدم هذه الكوكبات في لغة أعلى مستوى، وهي "ستيلوجين" (لغة برمجة فوقية للكوكبات)، لتحديد البراهين والصيغ. المشروع قيد التطوير، والدليل متوفر حاليًا باللغة الفرنسية فقط.