feat: generalize simp normal form testing code and validate Nat/Int normal forms
#1913
The logs for this run have expired and are no longer available.
Loading
Nat/Int normal forms
#1913