Title |
ID |
Type |
Uploaded by |
Category |
Public |
Comments |
Actions |
Answer for stefanreich (>> log $l = [a | true]) | #3000253 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log $l = [a | true]) | #3000254 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log $l = [a | true]) | #3000255 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log $l = [a | true]) | #3000256 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log $l = [$x | [$x is tasty]]) | #3000257 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log $l = [$x | [$x is tasty]]) | #3000258 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> solve $x = all theory names) | #3000259 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> calc all theory names) | #3000260 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> calc [ [head yes exists in theory $t] | [$t is a theory] ]) | #3000261 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log theory "find yes") | #3000262 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for mrshutco (>> list theories) | #3000263 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> show file "1002762/theories") | #3000264 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> list theories) | #3000265 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> y) | #3000266 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> list theories) | #3000267 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> list theories) | #3000268 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> show file "1002762/modified") | #3000269 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> show file "1002762/theories") | #3000270 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log solve1 [$x is tasty] in lasagna) | #3000271 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log solve1 [$x is tasty] in lasagna) | #3000272 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log [say $x] in "drop 'the' test") | #3000273 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log $x = c# example) | #3000274 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> calc tocons(eval(c# example))) | #3000275 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> calc map(maus, [hello hello])) | #3000276 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> calc map_cons(maus, [cons 1 end])) | #3000277 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> calc map(maus, [hello hello])) | #3000278 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> calc map(maus, [])) | #3000279 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> log $x = map(maus, [])) | #3000280 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> say test5 in [test5, signed]) | #3000281 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> say [andre agassi is a tennis player] in [tennis, signed]) | #3000282 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> say [boris becker is a tennis player] in [tennis, signed]) | #3000283 | 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 | |
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, signed]) | #3000286 | 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 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]) | #3000289 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for Stef (>> my signed theories) | #3000290 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> solve true or true or true) | #3000291 | 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 (>> say [andre agassi is a tennis player] in [tennis, signed]) | #3000293 | 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 (>> y) | #3000295 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> y) | #3000296 | New Tinybrain snippet | someone | | Yes | 0 | |
Answer for stefanreich (>> y) | #3000297 | 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 (>> test ai tennis "x y is a tennis player") | #3000299 | 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 "andre agassi is a tennis player") | #3000301 | 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 | |