Alethe

Alethe

The speculative specification for Alethe, a flexible format for SMT proofs.