▲ 3 pointsExperience with semi-formal proofs [video]youtube.comby wwilson·1y ago·0 comments·view on hn ↗