▲ 3 pointsWhy Higher-Order Logic Is a Good Foundation for Deep Verificationsequent.incby matt_d·17d ago·0 comments·view on hn ↗