Tags

certified compilation
Aug 14, 2025
circuit optimization
Aug 14, 2025
formal verification
Aug 14, 2025
quantum computing
Aug 14, 2025
distributed computing
Jan 24, 2024
measurement-based quantum computing
Jan 24, 2024
one-way quantum computer
Jan 24, 2024
programming languages
Jan 24, 2024
formal language definitions
May 19, 2022
formal specification
May 19, 2022