User Activity

  • Committed [c7de5f]

    streamlined with size1 instead of size+1 (follo...

  • Committed [9a62e8]

    merged

  • Committed [57d3ed]

    new result about MTF.

  • Committed [8fab88]

    merged

  • Committed [6d0182]

    tuned

  • Committed [26942d]

    new entry Cayley_Hamilton

  • Committed [5a9fd0]

    build on all of HOL-Algebra to minimize relaodi...

  • Committed [28c0ee]

    tuned metadata

View All

Personal Data

Username:
nipkow
Joined:
2004-02-14 00:12:45

Projects

Skills

  • No skills entered.

Personal Tools