Nada is the best! Don't forget the mind bending https://dl.acm.org/doi/10.1145/3...

		mccoyb 5 days ago \| parent \| context \| favorite \| on: 50 years of proof assistants Nada is the best! Don't forget the mind bending https://dl.acm.org/doi/10.1145/3158140 (not quite on topic, but in the multi-stage rabbit hole)