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.