search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
278 stars 16 forks source link

Github Highlight #662

Open HoshinoTented opened 1 year ago

HoshinoTented commented 1 year ago

I think we need a highlight configuration for GitHub, I found something from here

imkiva commented 1 year ago

I guess you are looking for https://github.com/aya-prover/aya-tmbundle but it is outdated

ice1000 commented 1 year ago

FYI https://github.com/github/linguist/pull/4777/

imkiva commented 1 year ago

I guess you are looking for https://github.com/aya-prover/aya-tmbundle but it is outdated

It is up-to-date now