Commit 2023-01-14 01:39 3aaa8a54
View on Github →feat: Rat
-dependent norm_num
functionality (#1441)
As per #1102, we extend norm_num
to handle Rat
s.
We leave most of the theorems sorried, but the evaluation and tests work!
feat: Rat
-dependent norm_num
functionality (#1441)
As per #1102, we extend norm_num
to handle Rat
s.
We leave most of the theorems sorried, but the evaluation and tests work!