yathaid

POSTS

• Perplexing the Web, One Probability Puzzle at a Time

  by yathaid on 8/30/2024, 4:27 AM with 1 comments

• A gentle introduction to automated reasoning

  by yathaid on 2/12/2024, 8:28 AM with 21 comments