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