Problems

  1. Modus ponens
  2. Fibonacci function
  3. Syllogism is a tautology
  4. Tales of Tails
  5. Sqrt 2
  6. Factorization
  7. Inequality1
  8. Tile Sequence
  9. ReverseReverse1
  10. ReverseReverse2
  11. ReverseReverse3
  12. ReverseReverse3 FIXED
  13. AB 3