Block or Report
Block or report pjmkrpg
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
-
-
-
-
coq-tactical
coq-tactical PublicForked from tchajed/coq-tactical
Library of Coq proof automation
Coq
-
awesome-coq
awesome-coq PublicForked from coq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.