[isabelle-dev] 20 years of AFP

Fabian Huch huch at in.tum.de
Tue Mar 19 13:31:39 CET 2024

Not yet as we're still experimenting with it.

The first is the distribution, the second the AFP without slow sessions 
(which is what is run on the testboard), an the third the AFP with slow 
and very slow sessions.


On 3/19/24 13:28, Lawrence Paulson wrote:
> Very impressive! Is this what the testboard uses now? And I can't quite figure out what these three runs represent.
> Larry
>> On 19 Mar 2024, at 12:21, Fabian Huch <huch at in.tum.de> wrote:
>> Today marks 20 years of AFP -- to celebrate, here are a few timings with the new parallel build (Isabelle/08b83f91a1b2 and AFP/b61f72e5cba6):

More information about the isabelle-dev mailing list