| (ↄ) | Dror Bar-Natan: AcademicPensieve: People: | About Recent Changes This Month Random |
| Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
|---|---|---|---|---|---|
| 1 | SL3invariant@ | source | Mon 31 Aug 2026 03:43:20 | Mon 31 Aug 2026 03:43:21 | |
| 2 | SL3invariant | source | Mon 31 Aug 2026 03:29:28 | Mon 31 Aug 2026 03:29:28 | |
| 3 | SL3VerificationShow@ | source | Mon 31 Aug 2026 03:46:58 | Mon 31 Aug 2026 03:46:59 | A unified verification notebook for the $sl_3$ project. |
| 4 | SL3VerificationShow | source | Mon 31 Aug 2026 03:29:25 | Mon 31 Aug 2026 03:29:25 | A unified verification notebook for the $sl_3$ project. |
| 5 | Verification_Sl3_example (1)@ | source | Sun 17 Mar 2024 11:28:42 | Wed 28 Feb 2018 14:16:56 | |
| 6 | Verification_Sl3_example (1) | source | Sun 17 Mar 2024 11:28:42 | Wed 28 Feb 2018 13:02:58 | |
| 7 | Verification_Sl3_example | source | Sun 17 Mar 2024 11:28:42 | Wed 28 Feb 2018 12:26:37 |