Timeline for What is Artin gluing, and how is it useful in proving meta-theoretic properties?
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 4, 2022 at 14:48 | comment | added | Jonathan Sterling | Beautiful description! | |
| Mar 4, 2022 at 3:33 | history | answered | Trebor♦ | CC BY-SA 4.0 |