User Activity

  • Committed [773606]

    Quotient FSet: Add compositional respectfulness and preservation for map and lift map_concat

  • Committed [5f5665]

    Make automatic derivation of raw/quotient types more greedy to allow descending and quot_lifted for compound quotients.

  • Committed [992a16]

    Generalize the compositional preservation theorems

  • Committed [f1201f]

    more specification of the quotient package in IsarRef

  • Committed [f37da6]

    specification of the quotient package

  • Committed [0162a0]

    Finish localizing the quotient package.

  • Committed [880e58]

    Modernized HOL-Import for HOL Light

  • Committed [637074]

    HOL/Import more precise map types

View All

Personal Data

Username:
ceka
Joined:
2001-07-03 07:26:55

Projects

This is a list of open source software projects that Cezary Kaliszyk is associated with:

Personal Tools