license: URL: https://github.com/UniMath/UniMath.git
  UniMath copyright and license
  =============================
  
  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.
  
  