User Activity

  • Committed [70ddcb]

    adapt to Isabelle/lifting: code_dt

  • Committed [18cacc]

    adapt to Isabelle/907f04603177

  • Committed [909dad]

    adapt to Isabelle/907f04603177

  • Committed [95f44d]

    even more addapted to Isabelle/f1ed1e9cd080

  • Committed [f59391]

    addapted to Isabelle/f1ed1e9cd080

  • Committed [ee78c7]

    simplify a proof due to Isabelle/6c95a39348bd

  • Committed [4a1c68]

    correct a path to Multivariate_Analysis (the gl...

  • Committed [b0c286]

    addapted to Isabelle/a64d49f49ca3

View All

Personal Data

Username:
kuncar
Joined:
2011-12-12 13:30:41

Projects

  • No projects to display.

Skills

  • No skills entered.

Personal Tools