arisu's repositories
M1F-explained
A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
Language:LeanApache-2.0000
id.react.dev
(Work in progress) React documentation website in Indonesian
CC-BY-4.0000
Language:Jupyter NotebookMIT000