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

Close

User Activity

  • Committed [badd1f]

    move Quadratic_Discriminant to Library

  • Committed [aa1cba]

    deleted a redundant theorem

  • Committed [8dbe85]

    small faxes

  • 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

View All

Personal Data

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

Projects

Skills

  • No skills entered.

Personal Tools