Proof Assignments

Theorem

Assigned to

 

Theorem

Assigned to

 

Theorem

Assigned to

2.34

Carrico

 

3.28

Thomas

 

4.38

Fugate

2.35

Gorman

 

3.29

Weathers

 

4.39

Claus

2.37

Fugate

 

4.1

Fugate

 

4.40

deVerges

2.38

Nguyen

 

4.2

Wendt

 

4.41

Carrico

2.41

Selvanayagam

 

4.3

Carrico

 

4.42

Lilly

2.42

Sparks

 

4.4

Claus

 

5.1

Mueller

2.43

Lilly

 

4.5

deVerges

 

5.2

Gorman

2.44

Claus

 

4.6

Goodwyn

 

5.3

Nguyen

3.1

Goodwyn

 

4.8

Gorman

 

5.4

Goodwyn

3.2

Thomas

 

4.9

Lilly

 

5.5

Selvanayagam

3.3

Wendt

 

4.10

Mueller

 

5.6

Fugate

3.4

Weathers

 

4.11

Nguyen

 

5.7

Sparks

3.5

Mueller

 

4.12

Selvanayagam

 

5.8

deVerges

3.6

Sparks

 

4.13

Sparks

 

6.1

Thomas

3.7

deVerges

 

4.14

Thomas

 

6.2

Claus

3.8

Mueller

 

4.15

Weathers

 

6.3

Weathers

3.9

Gorman

 

4.16

Wendt

 

6.4

Carrico

3.10

Lilly

 

4.18

Carrico

 

6.5

Wendt

3.11

Claus

 

4.19

Claus

 

6.6

Mueller

3.12

deVerges

 

4.20

deVerges

 

6.7

Carrico

3.13

Carrico

 

4.21

Fugate

 

6.8

Nguyen

3.14

Fugate

 

4.22

Goodwyn

 

6.9

Claus

3.15

Nguyen

 

4.23

Gorman

 

6.10

Selvanayagam

3.16

Goodwyn

 

4.25

Wendt

 

6.11

deVerges

3.17

Weathers

 

4.26

Weathers

 

6.12

Sparks

3.18

Selvanayagam

 

4.27

Thomas

 

6.13

Fugate

3.19

Thomas

 

4.31

Sparks

 

6.14

Thomas

3.20

Wendt

 

4.32

Nguyen

 

6.15

Goodwyn

3.22

Lilly

 

4.33

Selvanayagam

 

6.16

Weathers

3.24

Mueller

 

4.34

Mueller

 

6.17

Gorman

3.25

Nguyen

 

4.35

Lilly

 

6.18

Wendt

3.26

Selvanayagam

 

4.36

Gorman

 

6.19

Lilly

3.27

Sparks

 

4.37

Goodwyn