technically a blog
home
|
blog
/
tags
|
newsletter
|
projects
#theorem-provers
2022-10-28:
My first impressions from a few weeks with Lean and Coq