Thanks to co-PIs Sarah Sword, @jaypantone.com, and Ryota Matsuura, and to our advisory board, for countless hours shaping what good proof feedback should look like.

Teaching intro to proofs this semester or next? We have a couple of spots left for college/university faculty who would be interested in participating in a field test. Details on the site, or reply or DM.

Try it: hallmos.com

Free, browser-based, no account. Students, professors, and the proof-curious are welcome. Choose from common intro-to-proofs exercises, or use the sandbox with your own exercise.

people like years more than ever though. reliably, year X mentions peak during year X+2.

For a fuller glimpse of our dystopian future:
spinup-000d1a-wp-offload-media.s3.amazonaws.com/faculty/wp-c...

Needless to say, A001339 is not the same sequence, does not count preferential arrangements, and neither sequence has anything to do with the egf 1⁄(2−exp(x)). All of this was completely made up.

André's Reflection Method 😃