quawai's repositories
LearningLisp
codes by me written in order to learn Lisp
Hartshorne-Solutions
A pdf of solutions of exercises in Robin Hartshorne's Algebraic Geometry.
000
haskell-learning
learning Haskell
HoTT
Homotopy type theory
Language:CoqNOASSERTION000
Kashima2009
鹿島亮『数理論理学』（朝倉出版、2009）の演習問題の解答
lets-get-arrested
This project is intended to protest against the police in Japan
martin-lof
papers of Per Martin Löf
Language:TeX000
MIT000
Language:HTML000