Systemata et Instrumenta

Analytical systems, automation, and tools for reasoning at scale.