author | Aaron Taylor <ataylor@subgeniuskitty.com> | |
Fri, 26 Jul 2019 08:23:03 +0000 (01:23 -0700) | ||
committer | Aaron Taylor <ataylor@subgeniuskitty.com> | |
Fri, 26 Jul 2019 08:23:03 +0000 (01:23 -0700) | ||
commit | 769749143b0ad46735cd1dd4cf388455c73eeba7 | |
tree | c081040386f688c6c52f2bccfe0b7f0fc27c1921 | tree |
parent | 3eaa958a01e1c70c313fb887ab2d2f723dd9062e | commit | diff |
stdlib/logic.pvvs | diff | blob | blame | history |