author | Aaron Taylor <ataylor@subgeniuskitty.com> | |
Thu, 1 Aug 2019 01:16:23 +0000 (18:16 -0700) | ||
committer | Aaron Taylor <ataylor@subgeniuskitty.com> | |
Thu, 1 Aug 2019 01:16:23 +0000 (18:16 -0700) | ||
commit | 0750ec764cbea33d0b4646558619a0b5e365cc15 | |
tree | e9ae1d44a1845c193c4b518b598a1c5b34b0ab36 | tree |
parent | fe5f81e63bd2e8a262166a13d6311f2d1054ec9f | commit | diff |
stdlib/logic.pvvs | diff | blob | blame | history |