Sākums Izpētīt Palīdzība
Pierakstīties
caryoscelus
/
agda
Vērot 1
Pievienot zvaigznīti 0
Atdalīts 0
Faili Problēmas 0 Izmaiņu pieprasījumi 0 Vikivietne
Atzars: js_amd_patch
Atzari Tagi
agda
/
notes
/
talks
/
video060510
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 9 gadi atpakaļ
..
Makefile 040185db47 video talk 18 gadi atpakaļ
abstract c56ecd257d video talk remarks 18 gadi atpakaļ
proof.sty 040185db47 video talk 18 gadi atpakaļ
remarks c56ecd257d video talk remarks 18 gadi atpakaļ
talk.tex 040185db47 video talk 18 gadi atpakaļ