3

Questions
votes newest views recent
 
6
votes
0
answers
195
views

Request for errata for Automorphic Forms on GL(2)

feb 16 at 23:51 Anthony Pulido 103●1●10

11
19
votes
1
answer
1k
views

Community experiences writing Lamport’s structured proofs

aug 16 10 at 9:14 Neel Krishnaswami 6,065●1●8●38

 
10
votes
1
answer
1k
views

History of the Normal Basis Theorem

aug 16 10 at 3:16 Anthony Pulido 103●1●10