I'm Sofia, a 22yo software engineer.
info:
- i love working with lean4 and rust
- pronouns: she/her 🌸
- brazilian 🇧🇷 (pt-br / en)
- i work at lean fro
- discord: algebraic.dev
- email: [email protected]
- blog: https://www.algebraic.dev/
Lean 4 programming language and theorem prover
📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |