Lean (version 4.7.0, commit v4.7.0, Release)
exitCode=0
'HunterAuthored.inference_2' does not depend on any axioms
'HunterAuthored.inference_3' does not depend on any axioms
'HunterAuthored.inference_4' does not depend on any axioms
'HunterAuthored.inference_5' does not depend on any axioms
'HunterAuthored.source_identity_rule' does not depend on any axioms
