Sign inSign up

hipsleek/Heifer

Verifier for effectful, higher-order programs

OCamlStars 17Forks 6Watchers 17Open issues 31License MIT License
Details
仓库信息
Ownerhipsleek
Homepagehttps://hipsleek.github.io/Heifer/
GitHubhttps://github.com/hipsleek/Heifer
Last pushed2025-11-10
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--