Back

Week 45 - 2021

The weeknote for 11/8 - 11/14.

Tech

Lean prover

https://leanprover.github.io/

gpg-agent

cdktf

Life

Baby


Back

Edit this page

revision: b59d0ab