Back

Week 45 - 2021

The weeknote for 11/8 - 11/14. You can edit this page (on github) if you find any error.

Tech

Lean prover

https://leanprover.github.io/

gpg-agent

cdktf

Life

Baby


Back

See any mistakes? Please fix!