Skip to content
Check Imports

feat(LogUp): Implemented Logup protocol and its correctness proofs depending on propext, sorryAx, Classical.choice and Quot.sound #1908

Sign in to view logs

feat(LogUp): Implemented Logup protocol and its correctness proofs depending on propext, sorryAx, Classical.choice and Quot.sound

feat(LogUp): Implemented Logup protocol and its correctness proofs depending on propext, sorryAx, Classical.choice and Quot.sound #1908

Triggered via pull request July 24, 2026 20:09
@jCabalajCabala
synchronize #503
jCabala:logup-definition
Status Success
Total duration 9s
Artifacts –

check-imports.yml

on: pull_request
Check Library File Imports
6s
Check Library File Imports
Fit to window
Zoom out
Zoom in