Publish szl-formulas: honest stdlib-only offline replay kernel (14/14 & 13/13 trio)

59baf06

verified

betterwithage commited on 2 days ago