rebuild: doctrine-v6 compliant — canonical counts, 6 correct tabs, honest sorry/axiom disclosure 4c22bd5 verified betterwithage commited on 1 day ago
initial: Lean proof playground — interactive thesis exploration 7a98871 verified betterwithage commited on 1 day ago
betterwithage commited on 
