key | value |
---|---|
id | 142067728 |
name | coq-record-update |
full_name | tchajed/coq-record-update |
html_url | https://github.com/tchajed/coq-record-update |
description | Library to create Coq record update functions |
created_at | July 23, 2018, 8:48 p.m. |
updated_at | Sept. 8, 2024, 3:11 p.m. |
pushed_at | Aug. 30, 2024, 3:45 p.m. |
size | 166 |
stargazers_count | 42 |
watchers_count | 8 |
forks_count | 16 |
open_issues | 10 |
language | Coq |
awesome_list |