Sign inSign up

input-output-hk/Lean-blaster

SMT-based reasoning core for Lean4

LeanStars 11Forks 1Watchers 11Open issues 8License Apache License 2.0
Details
仓库信息
Ownerinput-output-hk
Homepage—
GitHubhttps://github.com/input-output-hk/Lean-blaster
Last pushed2025-12-13
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--