diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-11-26 17:03:13 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2021-11-26 17:03:13 +0100 |
| commit | 8473425e09f546fd9b3cbbed412665bd3a10b866 (patch) | |
| tree | 61638ebc5725e969ae255164418cee7d83138ee4 /.gitignore | |
| parent | c43e27dfc3418da034eb0601cbc557d61c4083a2 (diff) | |
Add claim theorem type
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions