Tidy up #check output to match Infoview - Githubissues

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

https://leanprover.github.io/theorem_proving_in_lean4/

Apache License 2.0

159 stars 85 forks source link

Tidy up #check output to match Infoview #89

Closed hmonroe closed 7 months ago

david-christiansen commented 7 months ago

Thank you!