Utensil's repositories
awesome-stars
A curated list of my GitHub stars!
lean-playground
Experiment with Lean prover.
lean4_jupyter
A Lean 4 Jupyter kernel via repl
utensil.github.io
My Github Home
leanblueprint
The forked repo for contributing to upstream or as staging site during contribution
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Grassmann.jl
⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra
hugo-simplecite
Citations in Hugo websites.
jupyterlab-lsp
Coding assistance for JupyterLab (code navigation + hover suggestions + linters + autocompletion + rename) using Language Server Protocol
lean4-alloy
Write C shims from within Lean code.
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
pygments
Pygments is a generic syntax highlighter written in Python
reconstruction
The forked repo for contributing to upstream or as staging site during contribution
repl
A simple REPL for Lean 4, returning information about errors and sorries.
reservoir-index
Registry index for Reservoir
verbose-lean4
Natural language tactics to teach mathematics using Lean 4
verso
Lean documentation authoring tool