[isabelle-dev] New analysis material

Lawrence Paulson 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.

Larry




More information about the isabelle-dev mailing list