search

isabelle-prover / conventions

https://isabelle.systems/conventions/
MIT License
2 stars 4 forks source link

feat(doc) activate Jekyll site generation #4

Closed wimmers closed 4 years ago

wimmers commented 4 years ago

Uses the minima theme. I suggest to squash commits as there is a lot of noise from experimenting.