The evolving specification for Alethe, a flexible format for SMT proofs.
Custom implementation of nf-core RNAseq pipeline
