25/11/2020 (Things I learned)

- I copied the RISC-V assembly operands onto paper

- Set up SuperTuxKart server on raspberry succesfully

- Go to 192.168.0.1 -> Advanced, to learn more about networking!!

- Read more about Metamath Zero