diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-12 11:06:36 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-12-12 11:06:36 -0500 |
| commit | ddde54a778b9cbf5503fdf7ec0a9ed02d8a075e0 (patch) | |
| tree | cc3ad2ca15a35eacc239ac506f11ebf024e3c9d6 /src/pr.bqn | |
| parent | 00cbfeb201c0accd1418237b0f8c3c5f943ef02e (diff) | |
Actually finish the structural Under well-definedness proof
Diffstat (limited to 'src/pr.bqn')
0 files changed, 0 insertions, 0 deletions