Commit 2022-10-31 23:16 42d80ac1
View on Github →feat: port zify
(#517)
Initial port of zify
. The tests are not really good, this is due to the fact that the relevant norm_cast
lemmas do not exist yet.
feat: port zify
(#517)
Initial port of zify
. The tests are not really good, this is due to the fact that the relevant norm_cast
lemmas do not exist yet.