Почетна Преглед Помоћ
Пријавите се
caryoscelus
/
agda
Прати 1
Волим 0
Креирај огранак 0
Датотеке Дискусије 0 Захтеви за спајање 0 Вики
Грана: js_amd_patch
Гране Ознаке
agda
/
notes
/
talks
/
video060510
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. пре 10 година
..
Makefile 040185db47 video talk пре 19 година
abstract c56ecd257d video talk remarks пре 19 година
proof.sty 040185db47 video talk пре 19 година
remarks c56ecd257d video talk remarks пре 19 година
talk.tex 040185db47 video talk пре 19 година