diff options
| author | Thibaut Horel <thibaut.horel@gmail.com> | 2016-05-04 23:13:36 -0400 |
|---|---|---|
| committer | Thibaut Horel <thibaut.horel@gmail.com> | 2016-05-04 23:14:36 -0400 |
| commit | 7356dc77e0ea986dfd798e9d122e66131b804111 (patch) | |
| tree | 66ee53cc66d4b2cd3976f12b939e2a52ae3da3c7 /main.go | |
| parent | 27ff4c4aa4988c65caf6093b9dcc3c00f6c00743 (diff) | |
| download | pos-7356dc77e0ea986dfd798e9d122e66131b804111.tar.gz | |
Add some comments for proof extraction
Diffstat (limited to 'main.go')
0 files changed, 0 insertions, 0 deletions