Formal Mathematics for the Masses Conferences

authors

• Farmer, William Michael

status

• published 

publication date

• January 1, 2022

published in

• CEUR Workshop Proceedings  Journal

volume

• 3377