Skip to content

Fix SMT translation of integer literals #8650

Fix SMT translation of integer literals

Fix SMT translation of integer literals #8650

Build and test Lean (stable)

succeeded May 5, 2026 in 13m 4s