key | value |
---|---|
id | 154827809 |
name | coq-library-undecidability |
full_name | uds-psl/coq-library-undecidability |
html_url | https://github.com/uds-psl/coq-library-undecidability |
description | A library of mechanised undecidability proofs in the Coq proof assistant. |
created_at | Oct. 26, 2018, 12:01 p.m. |
updated_at | April 29, 2024, 8:22 p.m. |
pushed_at | May 10, 2024, 1:43 p.m. |
size | 12,917 |
stargazers_count | 99 |
watchers_count | 7 |
forks_count | 27 |
open_issues | 15 |
language | Coq |
awesome_list |