Timeline for Consistency in pure type systems
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| S Jun 29 at 23:55 | history | suggested | CommunityBot | CC BY-SA 4.0 |
improve typesetting \vert -> \mid
|
| Jun 29 at 15:08 | review | Suggested edits | |||
| S Jun 29 at 23:55 | |||||
| Sep 18, 2023 at 5:02 | comment | added | none | You might look at Roorda's masters' thesis for a good introduction to PTS. It is linked from his paper with Jeuring: web.archive.org/web/20111002055103/http://people.cs.uu.nl/… Added: bah, it is not in archive.org, maybe there is some other way to get it. I found it worth reading. | |
| Sep 11, 2023 at 8:25 | vote | accept | Spaceka13 | ||
| Sep 10, 2023 at 14:11 | answer | added | Peter LeFanu Lumsdaine | timeline score: 9 | |
| Sep 10, 2023 at 7:03 | history | edited | YCor | CC BY-SA 4.0 |
removed capitals from title
|
| Sep 10, 2023 at 4:15 | history | edited | LSpice | CC BY-SA 4.0 |
Fixing quotes
|
| S Sep 10, 2023 at 1:14 | review | First questions | |||
| Sep 10, 2023 at 3:36 | |||||
| S Sep 10, 2023 at 1:14 | history | asked | Spaceka13 | CC BY-SA 4.0 |