<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
wimmers/poly-reductions
Polynomial-time reductions in Isabelle/HOL
Isabelle
Stars 3
Forks 15
Watchers 3
Open issues 21
Details
仓库信息
Owner
wimmers
Homepage
—
GitHub
https://github.com/wimmers/poly-reductions
Last pushed
2021-12-26
Last updated
2025-12-15
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--