<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
SReichelt/slate
The Slate Interactive Theorem Prover
TypeScript
Stars 23
Forks 2
Watchers 23
Open issues 48
License MIT License
Details
仓库信息
Owner
SReichelt
Homepage
https://slate-prover.org
GitHub
https://github.com/SReichelt/slate
Last pushed
2023-01-09
Last updated
2025-12-15
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--