Coda-Coda / Veracity-Logic-Mechanised

This is a work in progress of mechanising a logic for Veracity in proof assistants
MIT License
0 stars 0 forks source link

Agreeing to the Contributor Licence Agreement #1

Open Coda-Coda opened 2 weeks ago

Coda-Coda commented 2 weeks ago

If you wish to contribute to this repository, please review the Contributor Licence Agreement named CLA.md in the root of the repository and indicate your agreement below, such as saying "I agree to the CLA v1.0". Please indicate the version of the CLA you are agreeing to by its version number and/or git commit hash.

This is a prerequisite to being added as a contributor to the repository or having your pull requests merged.

Coda-Coda commented 2 weeks ago

I agree to the CLA v1.0 (this also applies to my past commits to this repository).