aboutsummaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'dev'Josh Chen2020-06-151-4/+5
|\
| * some documentationJosh Chen2020-06-041-1/+2
* | updateJosh Chen2020-06-011-4/+4
|/
* updateJosh Chen2020-06-011-0/+1
* updateJosh Chen2020-06-011-6/+7
* readmeJosh Chen2020-06-011-7/+14
* 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
* 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