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