amr/passepartout
1
0
Fork 0
Code Issues 15 Pull Requests 1 Actions Packages Projects Releases Wiki Activity
130 Commits 4 Branches 14 Tags
f1e3f92b08cac9a6d6bd8fe79d6dfd4a2bae5862
Commit Graph

2 Commits

Author SHA1 Message Date
Amr Gharbeia
5f86bcd8dc ALIGN: Rename Protocol to Communication and unify terminology 2026-04-13 14:17:28 -04:00
Amr Gharbeia
878e5709cf FEAT: Implement Lisp-Native Formal Verification Gate 2026-04-11 16:13:29 -04:00