Tag: format oflogic proofs - Vellabox