Following up on the development meeting, it would be good to have a coherent coding style guideline for standard libraries. And this issue is intended to start and structure discussions.
For the ambient logic, math-comp's seems to be a good fit (are we already following them in practice?); for program logics, further discussions are needed.
Following up on the development meeting, it would be good to have a coherent coding style guideline for standard libraries. And this issue is intended to start and structure discussions.
For the ambient logic, math-comp's seems to be a good fit (are we already following them in practice?); for program logics, further discussions are needed.