Skip to content
Check Imports

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

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 #1920

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

check-imports.yml

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