Skip to content

add a3-rust workflow to generate verification output from Halley Young's Rust checker - #647

Open
Nikolaj Bjorner (NikolajBjorner) wants to merge 1 commit into
microsoft:mainfrom
NikolajBjorner:main
Open

add a3-rust workflow to generate verification output from Halley Young's Rust checker#647
Nikolaj Bjorner (NikolajBjorner) wants to merge 1 commit into
microsoft:mainfrom
NikolajBjorner:main

Commits

Commits on Feb 7, 2026