key | value |
---|---|
id | 107535901 |
name | metacoq |
full_name | MetaCoq/metacoq |
html_url | https://github.com/MetaCoq/metacoq |
description | Metaprogramming, verified meta-theory and implementation of Coq in Coq |
created_at | Oct. 19, 2017, 11:10 a.m. |
updated_at | April 22, 2024, 9:07 a.m. |
pushed_at | April 23, 2024, 5:17 p.m. |
size | 32,464 |
stargazers_count | 350 |
watchers_count | 17 |
forks_count | 77 |
open_issues | 76 |
language | Coq |
awesome_list |