key | value |
---|---|
id | 39820751 |
name | relation-algebra |
full_name | damien-pous/relation-algebra |
html_url | https://github.com/damien-pous/relation-algebra |
description | Relation algebra library for Coq |
created_at | July 28, 2015, 7:57 a.m. |
updated_at | April 23, 2024, 5:29 p.m. |
pushed_at | April 23, 2024, 5:29 p.m. |
size | 555 |
stargazers_count | 41 |
watchers_count | 2 |
forks_count | 15 |
open_issues | 1 |
language | Coq |
awesome_list |