search

advancedresearch / avalog

An experimental implementation of Avatar Logic with a Prolog-like syntax
Apache License 2.0
66 stars 3 forks source link

Added formalization of PSI #155

Closed bvssvni closed 3 years ago