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