diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-02-17 14:57:02 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-02-17 14:57:02 -0500 |
| commit | 46925caea4e63b3eabc328248e1a51e8728125c8 (patch) | |
| tree | c11ec4ce297dae7755e4cd0d57acb1bdfbca2b6d /_CoqProject | |
| parent | dca499851304f78831476f6f7706f942b38e761d (diff) | |
Add lemmas about always_invert_Some and bind
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions