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