The evolving specification for Alethe, a flexible format for SMT proofs.
Python code to read the netCDF files and produce the figures of the paper.
