QCafe

Installation

Install CafeOBJ - A formal specification language

Version 1.6.2 is recommended.

Installation options:

• Download from CafeOBJ homepage

• Homebrew:

  brew install cafeobj
  

• Build from source (GitHub)

Install QCafe

• Clone this repository:

  git clone https://github.com/qcincafeobj/QCafe.git
  

• or Download a release:

  Release	Publication	Authors	Notes
  version 1 build 2.3.5 (latest)	QCafe: An Algebraic Specification of Quantum Computation and Its Application (To Appear)	Vuong Quoc Pham, Canh Minh Do, and Kazuhiro Ogata	In SEKE2026. DOI/BibTeX are at release tag.
  -	-	-	-

Example Usage

Steps to verify the $n$-hop Quantum Teleportation protocol:

1. Navigate to its parent directory:

   cd QCafe/case-study
   

2. Start CafeOBJ:

   cafeobj
   

3. Run the file n-hop-teleport.cafe:

   in n-hop-teleport
   

   or

   in n-hop-teleport.cafe
   

Repository Structure

File/Folder	Description
qc.cafe	Main specification (complex number, quantum computation, interpreter, etc.)
case-study	Specification and CafeOBJ proof scores for case studies
releases	All released versions
.deprecated	Development histories