We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Writing some implementations for definitions found in Type Theory and Formal Proof.
