Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/Seasawher/lean-book

mdbook template for lean project
https://github.com/Seasawher/lean-book

lean lean4 mdbook

Last synced: 24 days ago
JSON representation

mdbook template for lean project

Awesome Lists containing this project

README

        

# Lean Book

Lean Book is the mdbook template configured for the Lean Project.

For more information, please see [demo](https://seasawher.github.io/lean-book/).