1 result found Sort:

engboris
stellogen engboris
9
99
gpl-3.0
4
An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
logic type-theory verification formal-methods proof-assistant logic-programming transcendental-syntax
Created 2023-05-03
276 commits to master branch, last one 11 days ago