Discrete Adjoint for Rapid Transonic Flows
The evolving specification for Alethe, a flexible format for SMT proofs.
