lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

feat: generalize simp normal form testing code and validate `Nat`/`Int` normal forms

Open joehendrix opened this issue 4 months ago • 1 comments

This is still a work in progress.

joehendrix avatar Mar 02 '24 00:03 joehendrix