from Hacker News

codepathfinder

joined 9/22/24, 11:49 PM has 10 karma

• CodeQL: Eindhoven Quantifier Notation

  by codepathfinder on 9/22/24, 11:50 PM, with 0 comments