File Name  ↓ File Size  ↓ Date  ↓ 
README655 B2024-Oct-03 11:44
synproof-doc.pdf67.4 KiB2024-Oct-03 11:44
synproof-doc.tex11.7 KiB2024-Oct-03 11:44
synproof.sty5.8 KiB2024-Oct-03 11:44