Symbolverse playground

1. world modeling examples

     1.1. single rule
         hello machine          greet entity

     1.2. set of rules
         toy making decision          job title decision

     1.3. chaining rules
         shadows decision          weighting decision

     1.4. scoped rules
         planting cyclus          fun meeting

2. programming examples

     2.1. booleans and numbers
         branching choice          Boolean evaluator          binary number addition          binary number comparison

     2.2. operations on lists
         append list          reverse list          replace element          remove element

3. computing platforms examples
     SKI calculus interpreter      Boolean logic to SKI compiler      Lambda calculus to SKI compiler      Jot framework to SKI compiler

4. theorem proving examples
     propositional logic manual prover      sequent calculus formula validator