Packages

Libraries

• cairn0.5.2by iamnbutler

  Native macOS apps whose behaviour is proved in Lean.

  78 active6 retired115 movedDocsVersions and claims
• cairn_atproto0.3.0by iamnbutler

  The AT Protocol (Bluesky) for Cairn apps: XRPC, lexicon decoders and a proved session machine

  28 active5 retiredDocsVersions and claims
• cairn_json0.1.1by iamnbutler

  A total JSON parser and encoder for Cairn apps, with proofs

  DocsVersions and claims