Manos 6080efece9 evaluation: Minor corrections and text

2021-10-11 04:01:08 +02:00

..

evaluation

evaluation: Minor corrections and text

2021-10-11 04:01:08 +02:00

introduction

Organizing stuff

2021-10-10 06:05:41 +02:00

logos

titlepage: Various corrections

2021-06-23 02:33:57 +02:00

preliminaries

Organizing stuff

2021-10-10 06:05:41 +02:00

problem

theotherthing: Motivation

2021-10-10 19:50:07 +02:00