Resolve "[prove] report list of residual axioms"

Loïc Corrensonrequested to merge
8-prove-report-list-of-residual-axioms into master

Closes #8 (closed)

Edited by Loïc Correnson

Merge request reports