Transparency Report #1 | CoqInABox