[isabelle] integration theory in



Dear Isabelle users:
    I'm interested in the formalization of integration theory in
    Isabelle.
    I found Stefan Richter's work in AFP.
    But I cannot find any other work.
    Who can do me a favor of telling me some other ork.

Best

lyj




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.