blarney

blarney

[tags]vispo[/tags]

site tags: , , ,

12 responses to “blarney”

  1. avatar runran Says:

    security word = system

  2. avatar runran Says:

    security word = system

  3. avatar crissxross Says:

    proof = error

    but i’m not wrong:

    it’s the molecular structure of the stone
    at the moment the gift is bestowed

  4. avatar crissxross Says:

    proof = error

    but i’m not wrong:

    it’s the molecular structure of the stone
    at the moment the gift is bestowed

  5. avatar runran Says:

    def lInfix[5] R “Transitive” =
    /\x,y,z ( R x y -> R y z -> R x z).

    H := R Transitive
    H0 := R a b
    H1 := R b c
    |- R a c
    %PhoX% elim H with H0.
    1 goal created, with 1 automatically solved.

    but

    H := R Transitive
    H0 := R a b
    H1 := R b c
    |- R a c

    %PhoX% elim H with H1.
    Error: Proof error: Tactic elim failed.

  6. avatar runran Says:

    def lInfix[5] R “Transitive” =
    /x,y,z ( R x y -> R y z -> R x z).

    H := R Transitive
    H0 := R a b
    H1 := R b c
    |- R a c
    %PhoX% elim H with H0.
    1 goal created, with 1 automatically solved.

    but

    H := R Transitive
    H0 := R a b
    H1 := R b c
    |- R a c

    %PhoX% elim H with H1.
    Error: Proof error: Tactic elim failed.

  7. avatar crissxross Says:

    >phox> goal /\x/\y (y E pair x y).

    |- /\x/\y (y E pair x y)
    >phox> trivial + pair_ax.
    proved.

  8. avatar crissxross Says:

    >phox> goal /x/y (y E pair x y).

    |- /x/y (y E pair x y)
    >phox> trivial + pair_ax.
    proved.

  9. avatar remix » Blog Archive » the continuing adventures Says:

    […] related to: the painter has left the landscape + for Kurt + blarney […]

  10. avatar remix » Blog Archive » the continuing adventures Says:

    […] related to: the painter has left the landscape + for Kurt + blarney […]

  11. avatar remix » Blog Archive » a difficult maneuver Says:

    […] from: blarney + we are … […]

  12. avatar remix » Blog Archive » a difficult maneuver Says:

    […] from: blarney + we are … […]

[ to comment: registered users please login | visitors can login using guest + remixguest ]