гипотезы : простых чисел-близнецов, гольдбаха - бинарная, тернарная, лежандра, ландау

https://github.com/vprover/vampire   Use TA ctor's recursive where possible; use List helper methods; use … @mezpusz @quickbeam123

Vampire 4.5.1  https://github.com/vprover/vampire  quickbeam123 only create predPrecFromOpts once

Vampire 4.4.0   http://www.tptp.org/CASC/27/Entrants.html  make vampire_z3_rel

Vampire 4.3.0 (commit unknown)
https://github.com/vprover/vampire
https://github.com/vprover/vampire/commit/ca25727b04799e425ad39cd7211300703a898105
https://github.com/Z3Prover/z3
@selig
selig Merge pull request #78 from vprover/update-z3-4.8.6
/z3-master/src/api  скопировать в  ./vampire-master/z3/api 
make vampire_z3_rel
04.08.2019

Vampire 4.3.0 (commit unknown)
https://github.com/vprover/vampire
https://github.com/vprover/vampire/commit/ca25727b04799e425ad39cd7211300703a898105
https://github.com/Z3Prover/z3
@selig
selig Merge pull request #78 from vprover/update-z3-4.8.6
/z3-master/src/api  скопировать в  ./vampire-master/z3/api 
make vampire_z3_rel
04.08.2019
 

Александр Вадимович Лялецкий   Admissible Substitutions in Sequent Calculi etc

Petar Vukmirovic eprover Forked from eprover  Professor Dr. Stephan Schulz
E 2.2pre010 Thurbo Moonlight  https://github.com/petarvukmirovic memory leak clang

vampire 4.3.0 18/04/2019 https://github.com/vprover/vampire selig Merge pull request #67 from vprover/output-stats

E 2.3_dev001 Gielle https://github.com/eprover/eprover  schulzs Refactored auto-mode gnerators Latest commit 002278e Apr 12, 2019 clang