diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-12-20 12:43:20 -0500 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-12-21 10:22:41 -0500 |
| commit | ea82d2065dc18c264dbbba21ff129105fe6a24b0 (patch) | |
| tree | a1e04df05cb2b7329e95d7c07b2fc45ac61f6e09 /src/Util/Tactics.v | |
| parent | 62513f42055a413b49c5245939193b3520f9a981 (diff) | |
Add `Proof using` directives in Arithmetic
Diffstat (limited to 'src/Util/Tactics.v')
0 files changed, 0 insertions, 0 deletions