docs: fix spelling errors in documentation#1430
Open
michaelsmith37429 wants to merge 1 commit intoinformalsystems:mainfrom
Open
docs: fix spelling errors in documentation#1430michaelsmith37429 wants to merge 1 commit intoinformalsystems:mainfrom
michaelsmith37429 wants to merge 1 commit intoinformalsystems:mainfrom
