R3/\/\1X\/\/0RX

blarney

blarney

[tags]vispo[/tags]

Posted

in

by

runran

Tags:

, , ,

Comments

12 responses to “blarney”

  1. runran avatar
    runran

    security word = system

  2. runran avatar
    runran

    security word = system

  3. crissxross avatar
    crissxross

    proof = error

    but i’m not wrong:

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

  4. crissxross avatar
    crissxross

    proof = error

    but i’m not wrong:

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

  5. runran avatar
    runran

    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. runran avatar
    runran

    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. crissxross avatar
    crissxross

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

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

  8. crissxross avatar
    crissxross

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

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

  9. remix » Blog Archive » the continuing adventures

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

  10. remix » Blog Archive » the continuing adventures

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

  11. remix » Blog Archive » a difficult maneuver

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

  12. remix » Blog Archive » a difficult maneuver

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