key | value |
---|---|
id | 17321421 |
name | UniMath |
full_name | UniMath/UniMath |
html_url | https://github.com/UniMath/UniMath |
description | This coq library aims to formalize a substantial body of mathematics using the univalent point of view. |
created_at | March 1, 2014, 6:37 p.m. |
updated_at | May 4, 2024, 1:22 p.m. |
pushed_at | May 4, 2024, 1:58 p.m. |
size | 29,157 |
stargazers_count | 914 |
watchers_count | 56 |
forks_count | 168 |
open_issues | 189 |
language | Coq |
awesome_list |