[isabelle-dev] Status of HOL/SMT
Makarius
makarius at sketis.net
Tue Dec 4 18:25:56 CET 2012
On Tue, 4 Dec 2012, Jasmin Blanchette wrote:
> Am 04.12.2012 um 18:11 schrieb Johannes Hölzl:
>
>> I remove the SMT certificates in HOL-Multivariate_Analysis in Isabelle/4b4fe0d5ee22.
>
> Thanks! I didn't mean to apply pressure on you, though. ;)
Nobody does. It is more important to put issues on the table, to know
what they are. Sometimes, reforms don't take just 10min, but 10 years.
Makarius
More information about the isabelle-dev
mailing list