Uses

Software

• OS: Linux Mint
• Terminal: Nushell
• Browser: Firefox
  • uBlock Origin
  • DeArrow
• Text Editor & Notes
  • Geany for text editing
  • Obsidian for notes

Programming

• Languages
  • Rust
  • Typst for math typesetting
  • Coq & Lean (still learning) for formal verification
• IDE: Visual Studio Code
• GitHub