keyvalue
id307377088
nameautosubst2
full_nameuds-psl/autosubst2
html_urlhttps://github.com/uds-psl/autosubst2
descriptionOfficial repository of the Autosubst 2 project.
created_atOct. 26, 2020, 1:12 p.m.
updated_atOct. 31, 2024, 5:52 a.m.
pushed_atMay 8, 2023, 10:48 p.m.
size131
stargazers_count17
watchers_count6
forks_count5
open_issues4
languageHaskell
awesome_list

https://github.com/coq-community/awesome-coq