UniMath consists of the files in the UniMath github repository at https://github.com/UniMath/UniMath .
UniMath is copyright 2015 by the UniMath Development Team, whose members are listed at https://github.com/UniMath/UniMath in the file README.md .
Permission is hereby granted, free of charge, to any person obtaining a copy of UniMath, to deal in UniMath without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of UniMath, and to permit persons to whom UniMath is furnished to do so, subject to the following conditions:
- This copyright and license shall be included in all copies or substantial portions of the Software.