See the sidebar 👈 for the list of blog posts. These blogs are mainly about the development of the Aya Prover, written for people with some background in type theory and programming languages.
If you are new to Aya, you might want to check out the guide page first.
