aboutsummaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Update README.mdJosh Chen2020-04-161-1/+1
|
* Merge branch 'master' of https://github.com/jaycech3n/Isabelle-HoTTJosh Chen2020-04-161-1/+1
|\
| * Update README.mdJosh Chen2020-04-061-2/+2
| |
* | update for Isabelle2020Josh Chen2020-04-161-3/+3
|/
* Brand-spanking new version using Spartan infrastructureJosh Chen2020-04-021-6/+6
|
* touchupsJosh Chen2019-02-231-1/+1
|
* readmeJosh Chen2019-02-231-3/+12
|
* Update README.mdJosh Chen2018-09-201-1/+1
| | | Remove DOI badge
* Update README.mdJosh Chen2018-09-181-0/+6
|
* Update README.mdJosh Chen2018-09-181-16/+0
|
* Update README.mdJosh Chen2018-09-171-3/+1
|
* Update README.mdJosh Chen2018-09-121-2/+2
|
* Update README.mdJosh Chen2018-09-121-1/+1
|
* Add DOI badgeJosh Chen2018-09-121-0/+2
|
* Update README.mdJosh Chen2018-09-111-3/+7
|
* Update README.mdJosh Chen2018-08-301-1/+1
|
* Update licenseJosh Chen2018-08-181-1/+1
|
* Update README.mdJosh Chen2018-08-171-9/+5
|
* Update README.mdJosh Chen2018-08-171-2/+3
|
* Update README.mdJosh Chen2018-08-171-1/+6
|
* Add contactJosh Chen2018-08-171-1/+1
|
* Update README.mdJosh Chen2018-08-171-1/+1
|
* Update README.mdJosh Chen2018-08-171-1/+2
|
* Create README.mdJosh Chen2018-08-171-0/+16