A mathematical proof assistant focusing on clarity and correctness.
20+
Coach and supervisor for goal tracking, personal development, and focus strategies with strong epistemic humility.
9+
