Synopsis:
The AP's (https://github.com/publications-and-more/papers) have received some refactors and improvements recently, as well as some Rocq proofs being written. I may write more about it in the following days.
References:
- https://github.com/publications-and-more/papers (Amlal's Papers)