User Activity

  • Committed [9624e0]

    books/bookvol10.* extract code for COQ proof sy...

  • Committed [ddc3c9]

    buglist bug 7303: Duplicate signature in )show ...

  • Committed [fd41ee]

    books/bookvol10.* add COQ stanzas

  • Committed [d25e6a]

    books/bookvol10.* add COQ stanzas

  • Committed [261dc4]

    buglist: add TODO for erf-related conversion to...

  • Committed [09f6a0]

    books/bookvolbib: Add program proof papers

  • Committed [be2a82]

    books/bookvol13 Add mathematics for GCD proof

  • Committed [8d060b]

    Makefile: extract and run proof code automatically

View All

Personal Data

Username:
daly
Joined:
1999-11-17 20:12:20

Projects

Skills

  • No skills entered.

Personal Tools