summaryrefslogtreecommitdiffstats
path: root/src/proof.rs
Commit message (Expand)AuthorAgeFilesLines
* Use enumeration for left/right siblingsSanto Cariotti2025-06-161-22/+32
* Add prooferSanto Cariotti2025-06-161-0/+140