astrio-labs's tracked open-source repos, sorted by stars.
Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
