Assists with Coq and F* learning using step-by-step guidance.
2.020+
Critiques and rewrites messages using Carnegie's 30 principles.
5.010+
Friendly, casual tutor for programming theory, always encouraging.
5+
