Skip to content

Commit

Permalink
moving request from license to readme
Browse files Browse the repository at this point in the history
  • Loading branch information
benediktahrens committed Jan 30, 2016
1 parent 76d062d commit 6100e4f
Show file tree
Hide file tree
Showing 2 changed files with 15 additions and 10 deletions.
10 changes: 0 additions & 10 deletions LICENSE.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,13 +16,3 @@ do so, subject to the following conditions:
* This copyright and license shall be included in all copies or substantial
portions of the Software.

* If UniMath is used in a paper, please cite it. If you use latex with
```\usepackage{hyperref}``` in the preamble of your paper, you may use the
following bibtex item.
```bibtex
@Misc{UniMath,
author = {Voevodsky, Vladimir and Ahrens, Benedikt and Grayson, Daniel and others},
title = {{\em UniMath}: {Univalent} {Mathematics}},
howpublished = {Available at \url{https://github.com/UniMath}}
}
```
15 changes: 15 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -213,6 +213,21 @@ Contributing to UniMath
To contribute to UniMath, submit a pull request or contact us. Your code will
be subject to the copyright and license agreement in the file ```LICENSE.md```.


Citing UniMath
==============

To cite UniMath in your article, you can use the following bibtex item:
```bibtex
@Misc{UniMath,
author = {Voevodsky, Vladimir and Ahrens, Benedikt and Grayson, Daniel and others},
title = {{\em UniMath}: {Univalent} {Mathematics}},
howpublished = {Available at \url{https://github.com/UniMath}}
}
```
Note that this requires ```\usepackage{url}``` or ```\usepackage{hyperref}```.


The UniMath Development Team
============================

Expand Down

0 comments on commit 6100e4f

Please sign in to comment.