[isabelle-dev] Homology

Makarius makarius at sketis.net
Tue Apr 9 15:59:39 CEST 2019

On 09/04/2019 15:38, Traytel  Dmitriy wrote:
>>   AAAA Main
>>   AAA Complex_Main
>>   AA Algebra, basic Analysis
> But hopefully the battery sizes will not be interpreted as the following:
> https://en.wikipedia.org/wiki/Bond_credit_rating

No, that is utter nonsense by the Financial Industry.

The letters above (with the mental picture of tiny to fat batteries) are
merely meant as a starting point to think about scalable library schemes
and proper names for it.

Nothing of this is relevant for the release, but it could be seen as
indication that things will stay on the move, and whatever gets into the
Isabelle2019 won't be the last word on it.


More information about the isabelle-dev mailing list