technically a blog

#theorem-provers

• 2022-10-28: My first impressions from a few weeks with Lean and Coq