Chrome extension that asks you to do exercises
Notes on analysis
Note: Belief elicitation without verification
Note: Are users’ upvotes and downvotes enough to remove duplicate posts? Not quite
LLM-based proof checker for codebases
