issues
search
toku-sa-n
/
coqfmt
Coq code formatter
https://toku-sa-n.github.io/coqfmt/
GNU Affero General Public License v3.0
21
stars
2
forks
source link
ci: enable Dependabot
#513
Closed
toku-sa-n
closed
2 weeks ago
toku-sa-n
commented
2 weeks ago
Wrong repo.
Wrong repo.