▲ 3 pointsKnowledge-based verification: is it state-of-the-art?workshop.vennfactory.comby mooreds·1mo ago·0 comments·view on hn ↗