HN Explorer

youio

↗ HN profile [ 28.5 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com)

    One-shot prompt: "$tlaps-workbench Model simplified Raft leader election (terms, votes). Prove leader uniqueness per term and monotonic term growth." TLAPS Proof:…

    1 points 0
  2. Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com)
    41 points 3
  3. Looking for an official extension of Temporal Prolog

    I'm looking for an official extension of prolog that has temporal logic

    6 points 0
  4. 1 points 0
  5. 1 points 0