Email Gateway (Aug 17 2022 at 14:46): Email Gateway (Aug 17 2022 at 14:46):From: Lawrence Paulson <lp15@cam.ac.uk>
Readers of this list may be interested in the attached graph, which
shows how the size of Isabelle distributions has grown from 1992 to
2005. It's somewhat approximate in that the distributions were not
equally spaced, but the trend is clearly linear. Most of this
material consists of proofs rather than ML code.
Larry Paulson
isabelle-growth.jpg
Last updated: May 03 2024 at 12:27 UTC