ALab
Superhuman software for AIs.
Compilers, solvers, verifiers, provers.
aterm-0.93.0.dmg · 36 MB
· about aterm · aterm in your browser
On first launch, aterm installs the ALab compiler toolchain.
ALab · By Andrew Yates · hello@alab.systems · © 2026 ·