key | value |
---|---|
id | 64277893 |
name | hahn |
full_name | vafeiadis/hahn |
html_url | https://github.com/vafeiadis/hahn |
description | Hahn: A Coq library |
created_at | July 27, 2016, 4:47 a.m. |
updated_at | April 24, 2024, 10:24 a.m. |
pushed_at | April 24, 2024, 10:24 a.m. |
size | 358 |
stargazers_count | 29 |
watchers_count | 5 |
forks_count | 15 |
open_issues | 6 |
language | Coq |
awesome_list |