Proof Assistants & Formal Verification

Libraries and frameworks for formalizing mathematics, verifying proofs, and ensuring correctness through interactive and automated proof assistance.