raulraja

    raulraja

    2 years ago
    shikasd

    shikasd

    2 years ago
    Is this proof annotation impl available anywhere?
    raulraja

    raulraja

    2 years ago
    it’s currently on a branch being developed in the arrow meta repo
    shikasd

    shikasd

    2 years ago
    Wow, that actually looks amazing