Feedback: Added Axiom - siegebell/vscoq GitHub Wiki

Added Axiom: in response to Axiom, admit, Admitted, etc.

<feedback object="state" route="0">
  <state_id val="${stateId}"/>
  <feedback_content val="addedaxiom" />
</feedback>
Add a custom footer
⚠️ **GitHub.com Fallback** ⚠️