diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 22:06:59 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-18 22:06:59 +0100 |
| commit | 17cbc4c54af15cce2c72562e2f1c95cf89c8ba74 (patch) | |
| tree | eb210a6179a8db25bd3811fcc334a77eb9b51f90 /ip | |
| parent | 99361117f320bb809964818ca3fc85d5951df9a2 (diff) | |
| download | vericert-17cbc4c54af15cce2c72562e2f1c95cf89c8ba74.tar.gz vericert-17cbc4c54af15cce2c72562e2f1c95cf89c8ba74.zip | |
Add explanations for axioms
Diffstat (limited to 'ip')
0 files changed, 0 insertions, 0 deletions