formalmethods.io A repository for prototyping, staging and documenting certain projects developed by the formal methods team.