diff options
| author | Michael Raskin <7c6f434c@mail.ru> | 2013-05-09 12:23:27 +0400 |
|---|---|---|
| committer | Michael Raskin <7c6f434c@mail.ru> | 2013-05-09 12:23:27 +0400 |
| commit | 646868b2e63425187f8ed9bd93d693bb7aa72e5b (patch) | |
| tree | 56d91a2ef45e3af2f23ce9530cacb1fa055b9c4d /pkgs/development/python-modules/rangehttpserver | |
| parent | d63a9277bfeafc40380095adc44a286b105d3a71 (diff) | |
Adding Otter theorem prover. The development is frozen, but because of that Otter is considered a very reliable prover from soundness point of view.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions