A Checker for RUP proofs written in Lean 4
Repository from Github https://github.comhargoniX/crupRepository from Github https://github.comhargoniX/crup
