agentmods.dev

z notation commands

42 tagged z notation, measured the same way as everything else here.

Browse within: LaTeX 42beta 42formal-methods 42z-notations 42

Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 42 mods

oracle-dev

01

punt-labs/z-spec

Command

Generate property-based test harness using Lean 4 model as oracle.

5 yesterday A 12 tokens original MIT

refine-dev

02

punt-labs/z-spec

Command

Verify code refines Z specification via abstraction function and commutativity checks.

5 yesterday A 14 tokens original MIT

refine

03

punt-labs/z-spec

Command

Verify code refines Z specification via abstraction function and commutativity checks.

5 yesterday A 14 tokens original MIT