Documentation for tex-ebproof.

Homepage:
https://ctan.org/pkg/ebproof
