conceptual formalism for metacompiling, program synthesis, and automated logical reasoning (WIP) [Moved to: https://github.com/contrast-zone/co-rewrite]
Why do you think that https://github.com/aesara-devs/aesara is a good alternative to systelog-core