aya-prover / aya-prover-docs

The documentation site of the Aya prover.
https://www.aya-prover.org
0 stars 5 forks source link

Collection of similar sites that look not bad #1

Open ice1000 opened 3 years ago

ice1000 commented 3 years ago
re-xyr commented 3 years ago

Do you think the Kotlin site looks good?

ice1000 commented 3 years ago

It's fine, but maybe too colorful

re-xyr commented 3 years ago

I actually like Kotlin site very much, as well as the Scala site

ice1000 commented 3 years ago

@re-xyr Do you think there usage of colors is good?