[isabelle-dev] New analysis material
lp15 at cam.ac.uk
Fri Mar 22 13:51:35 CET 2019
People may have noticed that I have been uploading thousands of lines of new results for Analysis, in connection with the homology development. But we can easily see a pattern now, with more or less abstract topology being developed before integration theory, complex analysis, winding numbers and other horrors. This may suggest a division of Analysis, maybe even before the next release.
There will be many thousands of lines for Algebra as well.
More information about the isabelle-dev