Viewing profile — CrisPerdue
CrisPerdue
HN member- Joined
- Mon, Jun 20, 2022, 12:21 AM UTC
- HN karma
- 3
- Public activity
- 5 items
- HN profile
- View on Hacker News ↗
About CrisPerdue
No profile information was provided.
Recent public activity
-
story
Show HN: Math logic/reasoning self-education with embedded deductive tool
The https://prooftoys.org/ website presents logic and basic mathematics of the real numbers. It includes a practical embedded deductive system for learners whose background may be …
-
comment
Comment #31927412
Thanks again for the encouragement! I have submitted to "Show HN" at https://news.ycombinator.com/item?id=31927224 . Your input (and potential upvote) would be much appreciated.
-
story
Math logic/reasoning self-education with embedded deductive tool
The https://prooftoys.org/ website presents logic and basic mathematics of the real numbers. It includes a practical embedded deductive system for learners whose background may be …
-
comment
Comment #31811558
Thank you! Good suggestion, too.
-
comment
Comment #31805252
You might find my own effort in this area appropriate to you: https://prooftoys.org/ . Whether it is _exceedingly gentle_ is a legitimate question, but the site works hard to prese…