| Title |
ID |
Type |
Uploaded by |
Category |
Public |
Comments |
Actions |
| Answer for stefanreich (>> solve verify [not (false)]) | #3000328 | New Tinybrain snippet | someone | | Yes | 0 | |
| nlMakeUnusedVar | #1002880 | JavaX fragment (include) | stefan | eleu / nl | Yes | 0 | |
| Answer for stefanreich (>> log $y = [$x | [$x should be true]]) | #3000327 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> calc [$x | [$x should be true] and [true]]) | #3000326 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> calc [$x | [$x should be true] and [verify $x]]) | #3000325 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> log verify [[not false] should be true]) | #3000324 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> log verify [[not false] should be true]) | #3000323 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve verify [[not false] should be true]) | #3000322 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> my program) | #3000321 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [what is the name of [theory bla] ?] in ["what is", signed]) | #3000320 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [what is the name of [theory bla] ?] in ["what is", signed]) | #3000319 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [what is the name of [theory bla]] in ["what is", signed]) | #3000318 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [what is the name of [theory bla]] in ["what is", signed]) | #3000317 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> log [the name of [theory bla]] is $x) | #3000316 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve [the name of [theory bla]] is $x) | #3000315 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve [the name of [theory bla]] is $x) | #3000314 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve [the name of theory bla] is $x) | #3000313 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [what is tasty] in ["what is", signed]) | #3000312 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve rewrite $x to [[the name of theory bla] is $y]) | #3000311 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve rewrite $x to [the name of [theory bla] is $y]) | #3000310 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve rewrite $x to [the name of theory bla is $y]) | #3000309 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve [2] rew [what is the name of bla]) | #3000308 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> log [ask $x] in ["care tennis", care, signed]) | #3000307 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> log [ask $x] in ["care tennis", care, signed]) | #3000306 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve [ask $x] in ["care tennis", care, signed]) | #3000305 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve [ask $x] in ["care tennis", signed]) | #3000304 | New Tinybrain snippet | someone | | Yes | 0 | |
| Tokenizer Bot | #1002301 | JavaX source code | stefan | javax | Yes | 0 | |
| Answer for stefanreich (>> ai program tennis) | #3000303 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> test ai tennis "andre agassi is a tennis player") | #3000302 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> test ai tennis "andre agassi is a tennis player") | #3000301 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> test ai tennis "x y is a tennis player") | #3000300 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> test ai tennis "x y is a tennis player") | #3000299 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [andre agassi is a tennis player] in [tennis, signedstefan]) | #3000298 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> y) | #3000297 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> y) | #3000296 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> y) | #3000295 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve [memorize test] in [tennis, signed]) | #3000294 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [andre agassi is a tennis player] in [tennis, signed]) | #3000293 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [andre agassi is a tennis player] in [tennis, signed]) | #3000292 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> solve true or true or true) | #3000291 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for Stef (>> my signed theories) | #3000290 | New Tinybrain snippet | someone | | Yes | 0 | |
| Eleu Web Chat Bot | #1002878 | JavaX source code | stefan | | Yes | 0 | |
| Answer for Stef (>> say [boris becker is a tennis player] in [tennis, signed]) | #3000289 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for Stef (>> say [boris becker is a tennis player] in [tennis, signed]) | #3000288 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for Stef (>> say [boris becker is a tennis player] in [tennis, signed]) | #3000287 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [boris becker is a tennis player] in [tennis, signed]) | #3000286 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [boris becker is a tennis player] in [tennis, signed]) | #3000285 | New Tinybrain snippet | someone | | Yes | 0 | |
| Answer for stefanreich (>> say [boris becker is a tennis player] in [tennis, "and"]) | #3000284 | New Tinybrain snippet | someone | | Yes | 0 | |
| Eleu 4 Desktop | #1002877 | Image | stefan | | Yes | 0 | |
| Eleu 4 Desktop | #1002767 | JavaX source code | stefan | | Yes | 0 | |