Static/dynamic analysis of code, theorem proving, automated reasoning. Bash is mostly for gluing things together; it's (almost?) all in the form of Nix derivat

Static/dynamic analysis of code, theorem proving, automated reasoning. Bash is mostly for gluing things together; it's (almost?) all in the form of Nix derivations, and mostly just pipes things around (lots of calls to `jq`).