Directory

Open-source functional programming language and interactive theorem prover with dependent types, the Mathlib mathematics library and VS Code tooling, stewarded by the Lean FRO

R package that turns Markdown documents with embedded R (and Python or SQL) chunks into HTML, PDF, Word, slides, books and dashboards through knitr and Pandoc