Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Fa: ce9b406819
Branch-ok Tag-ek
agda
/
notes
/
talks
/
MetaVars
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. 10 éve
..
Crash.agda 7309111183 meta variable talk 18 éve
Examples.agda 7309111183 meta variable talk 18 éve
Makefile 7bd8f15ebf template for meta variable talk 18 éve
Plus.agda 7309111183 meta variable talk 18 éve
danger_do_not_open_until.eps 7309111183 meta variable talk 18 éve
danger_do_not_open_until.jpg 7309111183 meta variable talk 18 éve
proof.sty 7bd8f15ebf template for meta variable talk 18 éve
talk.tex 7309111183 meta variable talk 18 éve