Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

User Activity

  • Committed [c4ab96]

    Removed references to deprecated LIMSEQ_def

  • Committed [f62a87]

    corrections connected with powr and its extende...

  • Committed [385ef6]

    Fixed problems apparently unconnected with the ...

  • Committed [54a976]

    removing the obsolete theorems real_abs_le_squa...

  • Committed [69c7d5]

    Merge

  • Committed [9cd6c7]

    removed unused theorem

  • Committed [9cb3fb]

    fixed problems caused by simplification changes

  • Committed [019cf0]

    replaced cos_3 by the existing cos_treble_cos

View All

Personal Data

Username:
lp15
Joined:
2004-02-13 17:05:47

Projects

Skills

  • No skills entered.

Personal Tools