Development of the CafeOBJ interpreter
-
Updated
Nov 18, 2024 - Common Lisp
#
cafeobj
Here are 4 public repositories matching this topic...
CafeOBJ proof of Key Secrecy of PACE with OTS/CafeOBJ.
-
Updated
Apr 1, 2021 - AMPL
CafeOBJ Algebraic Specification of Quantum Computation
-
Updated
Aug 14, 2026 - Jupyter Notebook
Add this topic to your repo
To associate your repository with the cafeobj topic, visit your repo's landing page and select "manage topics."