This website works better with JavaScript
Sākums
Izpētīt
Palīdzība
Pierakstīties
radu
/
LaTeX-examples
Vērot
1
Pievienot zvaigznīti
0
Atdalīts
0
Faili
Problēmas
0
Izmaiņu pieprasījumi
0
Vikivietne
Koks:
c37a41f4e1
Atzari
Tagi
master
Revīziju vēsture
Meklēt
Autors
SHA1
Ziņojums
Datums
Martin Thoma
78b9ac5883
some more steps to completion of this proof
12 gadi atpakaļ
Martin Thoma
7847744f27
proof that we dont move too much
12 gadi atpakaļ
Martin Thoma
24301f9450
added draft for proof of correctnes for pogo algorithm
12 gadi atpakaļ