Skip to content
CI

lean: prove Map.len(Map.set m k v) >= 1 (set yields a non-empty map) #2309

Sign in to view logs

lean: prove Map.len(Map.set m k v) >= 1 (set yields a non-empty map)

lean: prove Map.len(Map.set m k v) >= 1 (set yields a non-empty map) #2309

Triggered via pull request June 19, 2026 14:40
@jasiszjasisz
opened #584
lean-map-len-set-positive
Status Success
Total duration 8m 50s
Artifacts –

ci.yml

on: pull_request
Check & Test
5m 57s
Check & Test
WASM
8m 45s
WASM
Bench Gate
0s
Bench Gate
WASM release build (main)
WASM release build (main)
Fit to window
Zoom out
Zoom in