yathaid

Posts

• Perplexing the Web, One Probability Puzzle at a Time
  by yathaidon 8/30/2024, 4:27 AMwith 1 comments
• A gentle introduction to automated reasoning
  by yathaidon 2/12/2024, 8:28 AMwith 21 comments