Proofs are hard !

Changelog:

• Improving the example
• Adding \seq
• Fixing some typos

Yeah, an example !

Changelog:

• Removing an unused package
• Adding an example
• Adding \term
• Fixing a typo

Hello World !

This is the first release of the ProgProving package.