| de4d802 | Josh Chen | 17 July 2020, 09:27:42 UTC | rename action | 17 July 2020, 09:27:42 UTC |
| b7439e6 | Josh Chen | 17 July 2020, 09:15:26 UTC | Merge pull request #7 from jaycech3n/ci-action Ci action | 17 July 2020, 09:15:26 UTC |
| 00463d7 | Josh Chen | 17 July 2020, 09:12:00 UTC | looks like descriptions not allowed in workflow job yaml | 17 July 2020, 09:12:00 UTC |
| 9eb4aeb | Josh Chen | 17 July 2020, 09:11:13 UTC | final test push | 17 July 2020, 09:11:13 UTC |
| f510ca7 | Josh Chen | 17 July 2020, 09:06:19 UTC | fix path | 17 July 2020, 09:06:19 UTC |
| 877b951 | Josh Chen | 17 July 2020, 09:03:22 UTC | test | 17 July 2020, 09:03:22 UTC |
| 66b180a | Josh Chen | 17 July 2020, 08:51:26 UTC | check home var | 17 July 2020, 08:51:26 UTC |
| 6e54cf5 | Josh Chen | 17 July 2020, 08:47:20 UTC | change HOME env var, more testing... | 17 July 2020, 08:47:20 UTC |
| 1ff98c9 | Josh Chen | 17 July 2020, 08:41:19 UTC | more test | 17 July 2020, 08:41:19 UTC |
| 31dca57 | Josh Chen | 17 July 2020, 08:35:07 UTC | more testing | 17 July 2020, 08:35:07 UTC |
| e75a2a2 | Josh Chen | 16 July 2020, 21:31:04 UTC | probe directories | 16 July 2020, 21:31:04 UTC |
| 6f2dc47 | Josh Chen | 16 July 2020, 21:28:28 UTC | test | 16 July 2020, 21:28:28 UTC |
| 61f2b77 | Josh Chen | 16 July 2020, 21:24:34 UTC | try try again | 16 July 2020, 21:24:34 UTC |
| 64a41c3 | Josh Chen | 16 July 2020, 17:53:11 UTC | try again | 16 July 2020, 17:53:11 UTC |
| 1f98940 | Josh Chen | 16 July 2020, 17:33:51 UTC | I think I figured out the problem | 16 July 2020, 17:33:51 UTC |
| f2614cb | Josh Chen | 16 July 2020, 17:31:55 UTC | try ADD instead of RUN curl | 16 July 2020, 17:31:55 UTC |
| a31c2a9 | Josh Chen | 16 July 2020, 17:25:46 UTC | will this parse now? | 16 July 2020, 17:25:46 UTC |
| ddb5325 | Josh Chen | 16 July 2020, 17:22:32 UTC | fix | 16 July 2020, 17:22:32 UTC |
| 402a802 | Josh Chen | 16 July 2020, 17:19:03 UTC | download Isabelle from TUM archives | 16 July 2020, 17:19:03 UTC |
| d81a1db | Josh Chen | 16 July 2020, 16:59:34 UTC | fix action path | 16 July 2020, 16:59:34 UTC |
| f822581 | Josh Chen | 16 July 2020, 16:57:13 UTC | set up CI | 16 July 2020, 16:57:13 UTC |
| 2a2fa1e | Josh Chen | 16 July 2020, 14:20:15 UTC | update readme | 16 July 2020, 14:20:15 UTC |
| 79659cb | Josh Chen | 11 July 2020, 13:13:20 UTC | Defined annotated terms to be used in future typechecking improvements | 11 July 2020, 13:13:20 UTC |
| 7d59cf1 | Josh Chen | 11 July 2020, 13:11:37 UTC | fix file location reference in license | 11 July 2020, 13:11:44 UTC |
| 8612748 | Josh Chen | 11 July 2020, 13:10:42 UTC | rename file | 11 July 2020, 13:10:42 UTC |
| 831f334 | Josh Chen | 09 July 2020, 11:35:39 UTC | Non-annotated object lambda | 09 July 2020, 11:35:39 UTC |
| fc9ba21 | Josh Chen | 09 July 2020, 10:58:13 UTC | caveat | 09 July 2020, 10:58:13 UTC |
| 07c51b1 | Josh Chen | 08 July 2020, 13:55:48 UTC | 1. Initial `Definition` keyword. 2. ifelse. | 08 July 2020, 13:55:48 UTC |
| f0fab6e | Josh Chen | 08 July 2020, 13:54:04 UTC | minor | 08 July 2020, 13:54:04 UTC |
| 4f147cb | Josh Chen | 19 June 2020, 10:41:54 UTC | reorganize | 19 June 2020, 10:41:54 UTC |
| 8885f9c | Josh Chen | 15 June 2020, 09:58:30 UTC | fix ROOT | 15 June 2020, 09:58:30 UTC |
| 28e91f9 | Josh Chen | 15 June 2020, 09:56:28 UTC | remove old folder | 15 June 2020, 09:56:28 UTC |
| e42b7b3 | Josh Chen | 15 June 2020, 09:53:44 UTC | Merge branch 'dev' | 15 June 2020, 09:53:44 UTC |
| 69bf074 | Josh Chen | 15 June 2020, 09:52:19 UTC | rename folders | 15 June 2020, 09:52:19 UTC |
| 8d6d633 | Josh Chen | 04 June 2020, 12:27:41 UTC | some documentation | 04 June 2020, 12:27:41 UTC |
| 9050b74 | Josh Chen | 03 June 2020, 11:10:35 UTC | Merge branch 'dev' | 03 June 2020, 11:10:35 UTC |
| 515c142 | Josh Chen | 03 June 2020, 11:09:45 UTC | rule name | 03 June 2020, 11:09:45 UTC |
| e513fc2 | Josh Chen | 03 June 2020, 11:09:30 UTC | 1. Type information context data 2. Small reformulations of rules 3. Bool | 03 June 2020, 11:09:30 UTC |
| ccc26cf | Josh Chen | 01 June 2020, 15:33:40 UTC | update | 01 June 2020, 15:33:47 UTC |
| 8c0205a | Josh Chen | 01 June 2020, 15:26:39 UTC | update | 01 June 2020, 15:26:39 UTC |
| cf5136f | Josh Chen | 01 June 2020, 15:22:09 UTC | update | 01 June 2020, 15:22:09 UTC |
| 29112d6 | Josh Chen | 01 June 2020, 15:19:27 UTC | reorganize and add some material | 01 June 2020, 15:19:27 UTC |
| 0834e99 | Josh Chen | 01 June 2020, 15:18:39 UTC | readme | 01 June 2020, 15:18:39 UTC |
| dc3800f | Josh Chen | 31 May 2020, 11:14:35 UTC | more list | 31 May 2020, 11:14:35 UTC |
| c3606c3 | Josh Chen | 30 May 2020, 23:13:42 UTC | multiplication | 30 May 2020, 23:13:42 UTC |
| 4faad4f | Josh Chen | 30 May 2020, 23:13:34 UTC | transport method | 30 May 2020, 23:13:34 UTC |
| 1263127 | Josh Chen | 30 May 2020, 16:29:46 UTC | add and mul recurse on second argument instead of first | 30 May 2020, 16:29:46 UTC |
| 68bbcdc | Josh Chen | 30 May 2020, 16:29:11 UTC | inhabitation coercion should be syntax, not logical constant! | 30 May 2020, 16:29:11 UTC |
| 2e807b7 | Josh Chen | 30 May 2020, 12:38:12 UTC | fix name | 30 May 2020, 12:38:12 UTC |
| 9ed05b8 | Josh Chen | 29 May 2020, 17:59:22 UTC | proved a few oopses + minor tweaks | 29 May 2020, 17:59:22 UTC |
| 02cfe2a | Josh Chen | 29 May 2020, 17:58:29 UTC | fix Pi congruence rule | 29 May 2020, 17:58:29 UTC |
| 484988b | Josh Chen | 29 May 2020, 12:28:17 UTC | todo list | 29 May 2020, 12:28:17 UTC |
| 2f4e9b9 | Josh Chen | 29 May 2020, 08:37:46 UTC | clean up Eckmann-Hilton and move to Identity | 29 May 2020, 08:37:46 UTC |
| 41da54e | Josh Chen | 29 May 2020, 08:20:36 UTC | minor | 29 May 2020, 08:20:36 UTC |
| 417af1a | Josh Chen | 28 May 2020, 14:00:42 UTC | bit more material | 28 May 2020, 14:00:42 UTC |
| 17b9392 | Josh Chen | 28 May 2020, 14:00:31 UTC | notation | 28 May 2020, 14:00:31 UTC |
| 1ccd936 | Josh Chen | 28 May 2020, 12:08:26 UTC | more List and Maybe | 28 May 2020, 12:08:26 UTC |
| 6ff59c8 | Josh Chen | 28 May 2020, 12:07:52 UTC | case distinction | 28 May 2020, 12:07:52 UTC |
| a9606c9 | Josh Chen | 28 May 2020, 10:54:40 UTC | reorganize folder structure | 28 May 2020, 10:54:40 UTC |
| f12983b | Josh Chen | 27 May 2020, 20:16:42 UTC | change variable name in elim rules and fix small mistake | 27 May 2020, 20:16:42 UTC |
| ed41980 | Josh Chen | 27 May 2020, 19:31:57 UTC | minor | 27 May 2020, 19:31:57 UTC |
| 62c1c8f | Josh Chen | 27 May 2020, 19:31:35 UTC | 1. Define Maybe in terms of other types. 2. Move More_Types to Spartan | 27 May 2020, 19:31:35 UTC |
| ec7dcd5 | Josh Chen | 27 May 2020, 19:30:21 UTC | move More_Types to Spartan | 27 May 2020, 19:30:21 UTC |
| fd8ae0b | Josh Chen | 26 May 2020, 23:18:46 UTC | Eckmann-Hilton, first pass | 26 May 2020, 23:18:46 UTC |
| b0ba102 | Josh Chen | 26 May 2020, 14:50:35 UTC | new material | 26 May 2020, 14:50:35 UTC |
| 028f43a | Josh Chen | 26 May 2020, 14:50:13 UTC | 1. New congruence declarations for calculational reasoning. 2. Remove old elimination tactic. | 26 May 2020, 14:50:13 UTC |
| 8ba8357 | Josh Chen | 26 May 2020, 14:39:35 UTC | Maybe and more List | 26 May 2020, 14:39:35 UTC |
| e6b5a8f | Josh Chen | 26 May 2020, 14:38:33 UTC | add Maybe | 26 May 2020, 14:38:33 UTC |
| eee7d97 | Josh Chen | 25 May 2020, 17:37:57 UTC | more reorganizing | 25 May 2020, 17:37:57 UTC |
| c19533a | Josh Chen | 25 May 2020, 17:36:30 UTC | notation | 25 May 2020, 17:36:30 UTC |
| f97d715 | Josh Chen | 25 May 2020, 17:33:23 UTC | fix implicits table merge mistake | 25 May 2020, 17:33:49 UTC |
| 60f3240 | Josh Chen | 25 May 2020, 16:50:59 UTC | Lists + more reorganizing | 25 May 2020, 16:50:59 UTC |
| 80edbd0 | Josh Chen | 25 May 2020, 15:09:54 UTC | Reorganize theory structure. In particular, the identity type moves out from under Spartan to HoTT. Spartan now only has Pi and Sigma. | 25 May 2020, 15:09:54 UTC |
| 22c5b89 | Josh Chen | 25 May 2020, 14:27:53 UTC | minor | 25 May 2020, 14:27:53 UTC |
| 2f63e16 | Josh Chen | 25 May 2020, 14:27:37 UTC | slightly nicer homotopy proofs with calculations | 25 May 2020, 14:27:37 UTC |
| 5e18f19 | Josh Chen | 25 May 2020, 14:26:53 UTC | `refl` and `this` methods | 25 May 2020, 14:26:53 UTC |
| 0d80505 | Josh Chen | 25 May 2020, 14:01:38 UTC | some arithmetic | 25 May 2020, 14:01:38 UTC |
| 575e98c | Josh Chen | 25 May 2020, 14:01:18 UTC | use existing calculation infrastructure for sym and trans | 25 May 2020, 14:01:18 UTC |
| 8f47d9f | Josh Chen | 25 May 2020, 13:24:20 UTC | 1. equality method now uses general elimination tactic. 2. New constant `` refers to rhs of equalities. | 25 May 2020, 13:24:20 UTC |
| 3de65af | Josh Chen | 25 May 2020, 13:21:02 UTC | new elimination tactic | 25 May 2020, 13:21:02 UTC |
| 3ad2f03 | Josh Chen | 24 May 2020, 18:44:33 UTC | new work on elimination tactic | 24 May 2020, 18:44:33 UTC |
| 6f37e6b | Josh Chen | 24 May 2020, 18:44:12 UTC | small comment | 24 May 2020, 18:44:12 UTC |
| 720da0f | Josh Chen | 22 May 2020, 13:43:14 UTC | some tweaks and comments, in preparation for general inductive type elimination | 22 May 2020, 13:43:14 UTC |
| 1571e03 | Josh Chen | 16 April 2020, 13:41:53 UTC | Update README.md | 16 April 2020, 13:41:53 UTC |
| 0b52ba4 | Josh Chen | 16 April 2020, 13:39:41 UTC | Merge branch 'master' of https://github.com/jaycech3n/Isabelle-HoTT | 16 April 2020, 13:39:41 UTC |
| 1885667 | Josh Chen | 16 April 2020, 13:37:43 UTC | update for Isabelle2020 | 16 April 2020, 13:37:43 UTC |
| 88df851 | Josh Chen | 16 April 2020, 13:03:23 UTC | minor naming | 16 April 2020, 13:03:23 UTC |
| ad27e7a | Josh Chen | 06 April 2020, 11:40:42 UTC | Update README.md | 06 April 2020, 11:40:42 UTC |
| 01a4d1f | Josh Chen | 02 April 2020, 23:30:02 UTC | 1. change var names. 2. add and mul | 02 April 2020, 23:30:02 UTC |
| bc2bc24 | Josh Chen | 02 April 2020, 23:15:43 UTC | fix ROOT | 02 April 2020, 23:15:43 UTC |
| 97f3c05 | Josh Chen | 02 April 2020, 23:13:29 UTC | 1. Base theory. 2. Fix Nat axioms, addition. | 02 April 2020, 23:13:34 UTC |
| 2781c68 | Josh Chen | 02 April 2020, 21:27:06 UTC | 1. make id function an abbrev. 2. fix reduce method | 02 April 2020, 21:27:06 UTC |
| 0ddab0f | Josh Chen | 02 April 2020, 17:31:33 UTC | better lambda notation | 02 April 2020, 17:31:33 UTC |
| 6e88bda | Josh Chen | 02 April 2020, 16:02:49 UTC | Merge branch 'master' of https://github.com/jaycech3n/Isabelle-HoTT | 02 April 2020, 16:02:49 UTC |
| c2dffff | Josh Chen | 02 April 2020, 15:57:48 UTC | Brand-spanking new version using Spartan infrastructure | 02 April 2020, 15:57:48 UTC |
| 045fc39 | Josh Chen | 24 January 2020, 16:01:12 UTC | make development shift really obvious | 24 January 2020, 16:01:12 UTC |
| 438e210 | Josh Chen | 24 January 2020, 15:58:02 UTC | Update README.md | 24 January 2020, 15:58:02 UTC |
| fc2a739 | Josh Chen | 24 January 2020, 15:52:45 UTC | Update README.md | 24 January 2020, 15:52:45 UTC |
| 1d99fa1 | Josh Chen | 24 January 2020, 15:52:09 UTC | Update README.md | 24 January 2020, 15:52:09 UTC |
| b4faf76 | Josh Chen | 29 November 2019, 15:52:10 UTC | Change link | 29 November 2019, 15:52:10 UTC |
