Hacker News new | ask | show | jobs
CodeQL: Eindhoven Quantifier Notation (shivasurya.me)
2 points by codepathfinder 637 days ago