Sign inSign up

SReichelt/slate

The Slate Interactive Theorem Prover

TypeScriptStars 23Forks 2Watchers 23Open issues 48License MIT License
Details
仓库信息
OwnerSReichelt
Homepagehttps://slate-prover.org
GitHubhttps://github.com/SReichelt/slate
Last pushed2023-01-09
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--