3 ms·For some reason I thought it would be about Coq or other similar structured proof assistant language.by a1o 3y agoFor some reason I thought it would be about Coq or other similar structured proof assistant language.