a11oy / docs
465 kB
betterwithage's picture
fix(citations): repoint 7 phantom proofs to real Lean (task #938)
9b8541f verified