Add proof for clz.py
authorMichael Nolan <mtnolan2640@gmail.com>
Mon, 4 May 2020 19:34:03 +0000 (15:34 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Mon, 4 May 2020 19:34:03 +0000 (15:34 -0400)
commit08af8caffaff29794a10d6b1bb5ad72d3f054b2d
tree23a66b56cb7865bb9e3b3a967a0dc2bf15d79529
parent7b1caba72659d9b13a802e5edbf035a707cf3741
Add proof for clz.py
src/ieee754/cordic/formal/proof_clz.py [new file with mode: 0644]