diff --git a/docs/add-faq b/docs/add-faq new file mode 100644 index 000000000..932f726fe --- /dev/null +++ b/docs/add-faq @@ -0,0 +1,12 @@ +# Frequently Asked Questions + +## What is Malachite used for? +Malachite is used for specification and formal verification. + +## Is this project production-ready? +The project is intended for research and internal tooling. + +## How can I contribute? +You can contribute by improving documentation or proposing changes. + +This FAQ addresses common beginner questions.