ChengsongTanPhdThesis/SulzmannLuLexer.data
author Chengsong
Sun, 09 Jul 2023 02:08:12 +0100
changeset 658 273c176d9027
parent 584 1734bd5975a3
permissions -rw-r--r--
finished 4.3.2 section explaining why lemma 11 is too strong

1 15
2 34
3 72
4 148
5 300
6 604
7 1212
8 2428
9 4860
10 9724
11 19452
12 38908
13 77820
14 155644
15 311292
16 622588
17 1245180
18 2490364
19 4980732