proof-general

Overview

For personal and professional use. You cannot resell or redistribute these repositories in their original state.

• You're allowed to use the code bits in the repositories in unlimited projects.
• Attribution is not required to use the code bits.

What you can do with it

• Use them freely in your personal and professional work.

What you can't do with it

• Don't be greedy. Selling or distributing these repositories in their original state is prohibited.