CONTRIBUTORS: new proof method "argo"
authorboehmes
Thu Sep 29 20:54:46 2016 +0200 (2016-09-29)
changeset 639649f0308e80366
parent 63963 ed98a055b9a5
child 63966 957ba35d1338
CONTRIBUTORS: new proof method "argo"
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Thu Sep 29 20:54:45 2016 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Sep 29 20:54:46 2016 +0200
     1.3 @@ -30,6 +30,12 @@
     1.4    Algebraic foundation for primes; generalization from nat
     1.5    to general factorial rings
     1.6  
     1.7 +* September 2016: Sascha Boehme
     1.8 +  Proof method 'argo' based on SMT technology for a combination of
     1.9 +  quantifier-free propositional logic, equality and linear real
    1.10 +  arithmetic
    1.11 +
    1.12 +
    1.13  Contributions to Isabelle2016
    1.14  -----------------------------
    1.15