« first day (9 days earlier)   

10:21 AM
A new SE site for Proof Assistants has been recently proposed. I have committed to the proposal under the level "Just Curious". Hopefully, I'll be able to fulfill my commitment once the site enters the Private Beta phase.
 

« first day (9 days earlier)