search

leanprover / leanprover.github.io

www
https://lean-lang.org/
15 stars 24 forks source link

docs: Fix links to `Skinny Bones` Jekyll template. #77

Closed adyavanapalli closed 4 years ago

adyavanapalli commented 4 years ago

Summary

This PR updates the link to the Jekyll template Skinny Bones, which is currently incorrect as it is.

Kha commented 4 years ago

Thanks!