Skip to content

Formalise map standard functions (maps:put, maps:get)#67

Merged
berpeti merged 2 commits into
masterfrom
map-bifs
May 18, 2026
Merged

Formalise map standard functions (maps:put, maps:get)#67
berpeti merged 2 commits into
masterfrom
map-bifs

Interpreter re-extraction (Haskell & OCaml)

a54581e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

5 warnings
build (rocq/rocq-prover:9.1)
succeeded May 16, 2026 in 17m 18s