HN Explorer

bugarela

↗ HN profile [ 397 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Our formal methods tool can be a company – because of AI (quint.sh)
    8 points 0
  2. 1 points 0
  3. Towards a Solution for Cognitive Debt (quint-lang.org)
    2 points 0
  4. Quint LLM Kit for writing and using formal specifications (github.com)
    11 points 0
  5. Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org)
    3 points 1
  6. Holiday protocols: secret santa with Quint (github.com)
    8 points 1