Skip to content

HolRefute: Quickcheck, narrowing and a Nitpick-style Kodkod model finder - #2051

Open
lukaszcz wants to merge 628 commits into
HOL-Theorem-Prover:developfrom
lukaszcz:nitpick
Open

HolRefute: Quickcheck, narrowing and a Nitpick-style Kodkod model finder#2051
lukaszcz wants to merge 628 commits into
HOL-Theorem-Prover:developfrom
lukaszcz:nitpick

Map U+03A0 (Pi) in the shared manual Unicode table

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

Annotations

1 notice
build-otknl
succeeded Sep 30, 2026 in 2h 8m 32s