An experimental implementation of Avatar Logic with a Prolog-like syntax
语言:Rust · GitHub 星标:74 · Fork:3
在 GitHub 上查看原仓库