This instance was upgraded to Heptapod 0.27.2 on 2021-12-08 at 22:00 UTC+1

afp-devel

afp-devel

Development version of the Archive of Formal Proofs