Conversation

• H Hacker News: Newest Hacker News: Newest remote 2 hours ago You are here

  ProveIT – a short game to help you learn how formal proofs work in Logic

  Article URL: https://voxelrifts.itch.io/proveit

  Comments URL: https://news.ycombinator.com/item?id=49494689

  Points: 1

  # Comments: 0

  source