Proportion of formal papers at FSE over the years

This dataset contains raw data related to the number of full papers containing theorem statements at various editions of the Foundations of Sofwtare Engineering (FSE) conference over the years. Version 1.1 updates the previous release with additional data for the year 2000.