v1.3.0

What's Changed

• new automation tactics auto_wf and collate_wf for more efficient well… by @rnrand in #28
• Fix non building by @caldwellb in #30
• Bumped to version 1.2.0 by @caldwellb in #31
• Update README.md by @caldwellb in #32
• added pad2, embed + lemmas by @bhaktishh in #27
• Update coq-action.yml by @caldwellb in #34
• Update coq-action.yml by @YoungchanCho in #38
• Update QuantumLib for compatibility with Coq v8.16-8.19 by @adrianleh in #40

New Contributors

• @rnrand made their first contribution in #28
• @caldwellb made their first contribution in #30
• @bhaktishh made their first contribution in #27

Full Changelog: v1.1.0...v1.3.0