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.本数据集收录了历年各届软件工程基础（Foundations of Software Engineering，FSE）会议中，包含定理陈述的完整论文数量相关的原始数据。