List view

Add a General-Purpose Cryptol Model of Basic Abstract State Machines (ASMs)

docsLaTeX, markdown, literate haskell, or in-REPL documentationLaTeX, markdown, literate haskell, or in-REPL documentation

feature

Status: Open.

Task

#1861 In GaloisInc/cryptol;

· kiniry opened on May 24, 2025