Adapting Proofs-as-Programs | lit.salon