Timeline for Does substitution on named terms correspond to substitution on de Bruijn terms?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 30 at 23:26 | comment | converted from answer | Pavel Shuhray | Yes, I proved it. The proof is here proofassistants.stackexchange.com/questions/4277/… | |
| Nov 19, 2023 at 2:43 | answer | added | David Roberts♦ | timeline score: 2 | |
| Nov 19, 2023 at 2:38 | history | edited | David Roberts♦ | CC BY-SA 4.0 |
link, tags, formatting
|
| Nov 18, 2023 at 17:27 | review | Close votes | |||
| Dec 6, 2023 at 3:06 | |||||
| S Nov 18, 2023 at 16:52 | review | First questions | |||
| Nov 18, 2023 at 21:49 | |||||
| S Nov 18, 2023 at 16:52 | history | asked | Pavel Shuhray | CC BY-SA 4.0 |