Skip to content

Resolve "[prove] report list of residual axioms"

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

Closes #8 (closed)

Edited by Loïc Correnson

Merge request reports