add WIP formal proof
authorJacob Lifshay <programmerjake@gmail.com>
Thu, 18 Aug 2022 06:23:08 +0000 (23:23 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Thu, 18 Aug 2022 06:23:08 +0000 (23:23 -0700)
commit604a3256b12ac8e9c7797e68d5f2dde4d93045ae
tree1af3aaa0b1b9f8435fdf0063fdfd6bf4c7fc5daa
parent6136e9b3bd38e4d354e20f5405c4f22979642169
add WIP formal proof
src/nmutil/formal/test_plru.py [new file with mode: 0644]