An overview of the Tecton proof system
scientific article; zbMATH DE number 708695
scientific article