key | value |
---|---|
id | 309789518 |
name | hs-to-coq |
full_name | plclub/hs-to-coq |
html_url | https://github.com/plclub/hs-to-coq |
description | Convert Haskell source code to Coq source code. |
created_at | Nov. 3, 2020, 7:40 p.m. |
updated_at | Jan. 30, 2024, 6:57 p.m. |
pushed_at | April 9, 2024, 10:35 p.m. |
size | 10,908 |
stargazers_count | 74 |
watchers_count | 13 |
forks_count | 6 |
open_issues | 56 |
language | Coq |
awesome_list |