the-dark-factory

The-dark-factory released Crucible, an AGPL-3.0-or-later tool that converts written specifications into Ada/SPARK code with a machine-checked proof and refuses to deliver anything it cannot prove. Cru…