The evolving specification for Alethe, a flexible format for SMT proofs.
Source-Doublet Panel Method
An universal bidsificator of multi-modal datsets