diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2013-05-09 17:47:40 +0400 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2013-05-09 17:47:58 +0400 |
commit | 9d92fe013eda0ca8ad780a243b1bef9ba6a3deb9 (patch) | |
tree | cbd9b74a022280afd4d0d2b020599a4bd1f217b6 /pkgs/shells | |
parent | 369defb7c11790a2d8f4bad55531836af1659468 (diff) | |
download | nixlib-9d92fe013eda0ca8ad780a243b1bef9ba6a3deb9.tar nixlib-9d92fe013eda0ca8ad780a243b1bef9ba6a3deb9.tar.gz nixlib-9d92fe013eda0ca8ad780a243b1bef9ba6a3deb9.tar.bz2 nixlib-9d92fe013eda0ca8ad780a243b1bef9ba6a3deb9.tar.lz nixlib-9d92fe013eda0ca8ad780a243b1bef9ba6a3deb9.tar.xz nixlib-9d92fe013eda0ca8ad780a243b1bef9ba6a3deb9.tar.zst nixlib-9d92fe013eda0ca8ad780a243b1bef9ba6a3deb9.zip |
Adding E-KRHyper theorem prover
Diffstat (limited to 'pkgs/shells')
0 files changed, 0 insertions, 0 deletions