Pantelispanka

1 extension by this developer

Pantelispanka

Language support for aglang (.ag) — architecture guardrails enforced via Z3 SMT solving