awesome-logic-formalization/ALF/Authors.lean at main · FormalizedFormalLogic/awesome-logic-formalization · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
module

public structure Author where
  handle: String -- unique id for this namespace use handle or realname.
  realname: Option String := none
  github: Option String := none

public section

namespace Authors

def «SnO2WMaN» : Author where
  handle := "SnO2WMaN"
  realname := "Mashu Noguchi"
  github := "sno2wman"

def «iehality» : Author where
  handle := "Palalansoukî"
  realname := "Shogo Saito"
  github := "iehality"

def «staroperator» : Author where
  handle := "staroperator"
  realname := "Dexin Zhang"
  github := "staroperator"

def «caitlindabrera» : Author where
  handle := "caitlindabrera"
  realname := "Caitlin D'Abrera"
  github := "caitlindabrera"

def «minchaowu» : Author where
  handle := "minchaowu"
  realname := "Minchao Wu"
  github := "minchaowu"

def «Rajeev Goré» : Author where
  handle := "Rajeev Goré"
  realname := "Rajeev Goré"

def «ianshil» : Author where
  handle := "ianshil"
  realname := "Ian Shillito"
  github := "ianshil"

def «Revantha Ramanayake» : Author where
  handle := "Revantha Ramanayake"
  realname := "Revantha Ramanayake"

def «znssong» : Author where
  handle := "znssong"
  realname := "Shuhao Song"
  github := "znssong"

def «YnirPaz» : Author where
  handle := "YnirPaz"
  realname := "Ynir Paz"
  github := "YnirPaz"

def «u5943321» : Author where
  handle := "u5943321"
  realname := "Yiming Xu"
  github := "u5943321"

def «Michael Norrish» : Author where
  handle := "Michael Norrish"
  realname := "Michael Norrish"

def «Marco Maggesi» : Author where
  handle := "Marco Maggesi"
  realname := "Marco Maggesi"

def «Cosimo Perini Brogi» : Author where
  handle := "Cosimo Perini Brogi"
  realname := "Cosimo Perini Brogi"

def «ruplet» : Author where
  handle := "ruplet"
  realname := "Paweł Balawender"
  github := "ruplet"

def «Jesse Michael Han» : Author where
  handle := "Jesse Michael Han"
  realname := "Jesse Michael Han"

def «Floris van Doorn» : Author where
  handle := "Floris van Doorn"
  realname := "Floris van Doorn"

def «Janis Bailitis» : Author where
  handle := "Janis Bailitis"
  realname := "Janis Bailitis"

def «Dominik Kirst» : Author where
  handle := "Dominik Kirst"
  realname := "Dominik Kirst"

def «Yannick Forster» : Author where
  handle := "Yannick Forster"
  realname := "Yannick Forster"

def «bbentzen» : Author where
  handle := "bbentzen"
  realname := "Bruno Bentzen"
  github := "bbentzen"

def «Huayu Guo» : Author where
  handle := "Huayu Guo"
  realname := "Huayu Guo"

def «Dongheng Chen» : Author where
  handle := "Dongheng Chen"
  realname := "Dongheng Chen"

def «Andrei Popescu» : Author where
  handle := "Andrei Popescu"
  realname := "Andrei Popescu"

def «Dmitriy Traytel» : Author where
  handle := "Dmitriy Traytel"
  realname := "Dmitriy Traytel"

def «AlexeyMilovanov» : Author where
  handle := "AlexeyMilovanov"
  github := "AlexeyMilovanov"

def «Malvin Gattinger» : Author where
  handle := "m4lvin"
  realname := "Malvin Gattinger"
  github := "m4lvin"

def «Madeleine Gignoux» : Author where
  handle := "mgignoux"
  realname := "Madeleine Gignoux"
  github := "mgignoux"

end Authors

end