key | value |
---|---|
id | 30932494 |
name | unicoq |
full_name | unicoq/unicoq |
html_url | https://github.com/unicoq/unicoq |
description | An enhanced unification algorithm for Coq |
created_at | Feb. 17, 2015, 7:05 p.m. |
updated_at | April 24, 2024, 12:02 a.m. |
pushed_at | April 24, 2024, 12:02 a.m. |
size | 42,570 |
stargazers_count | 49 |
watchers_count | 8 |
forks_count | 15 |
open_issues | 8 |
language | OCaml |
awesome_list |