GitHub repository: GLmaths/testing-theory
Primary language: TeX
Description: This repository contains the mechanisation of testing theory à la De Nicola and Hennessy.