aboutsummaryrefslogtreecommitdiff
path: root/README.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* caveatJosh Chen2020-07-091-0/+2
|
* 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
| | | 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