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