Skip to content

Read an infinite or undefined real - #27

Merged
daniel-larraz merged 1 commit into
kind2-mc:mainfrom
daniel-larraz:read-infinite-and-undefined-reals
Sep 22, 2026
Merged

daniel-larraz merged 1 commit into
kind2-mc:mainfrom
daniel-larraz:read-infinite-and-undefined-reals

Read an infinite or undefined real

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

Annotations

1 notice
build
succeeded Sep 22, 2026 in 1m 17s