author | boehmes |
Thu, 29 Sep 2016 20:54:46 +0200 | |
changeset 63964 | 9f0308e80366 |
parent 63963 | ed98a055b9a5 |
child 63966 | 957ba35d1338 |
CONTRIBUTORS | file | annotate | diff | comparison | revisions |
--- a/CONTRIBUTORS Thu Sep 29 20:54:45 2016 +0200 +++ b/CONTRIBUTORS Thu Sep 29 20:54:46 2016 +0200 @@ -30,6 +30,12 @@ Algebraic foundation for primes; generalization from nat to general factorial rings +* September 2016: Sascha Boehme + Proof method 'argo' based on SMT technology for a combination of + quantifier-free propositional logic, equality and linear real + arithmetic + + Contributions to Isabelle2016 -----------------------------