首頁 探索 說明
登入
caryoscelus
/
agda
關註 1
讚好 0
複刻 0
檔案 問題管理 0 合併請求 0 Wiki
分支: js_amd
分支列表 標籤列表
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 年之前