projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 715198d) | patch
Add incomplete proof_bperm.py with comments on how to finish the proof
authorMichael Nolan <mtnolan2640@gmail.com>
Sun, 17 May 2020 17:12:32 +0000 (13:12 -0400)
committerMichael Nolan <mtnolan2640@gmail.com>
Sun, 17 May 2020 17:13:07 +0000 (13:13 -0400)
commit597144a6f9826884cd82d0ee5d81030059b21f1c
treecaa435469a814dced87373a91dd1689aeef0b90etree
parent715198d681c393b61e1a1e8d6da6c20a80ef9bf7commit | diff
Add incomplete proof_bperm.py with comments on how to finish the proof
src/soc/logical/formal/proof_bperm.py [new file with mode: 0644] blob