Pinned Repositories
galgebra
Symbolic Geometric Algebra/Calculus package for SymPy :crystal_ball:
GAlgebra.jl
Julia interface to GAlgebra via PyCall
lean-ga
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
awesome-stars
A curated list of my GitHub stars!
behind-programming
A book to gather and distill principles, patterns and templates behind programming.
blog
forest
lean-playground
Experiment with Lean prover.
lol-model-format
Reading, writing and parsing the model formats of the game League of Legends
mermaid2dot
Convert mermaid flowchart to Graphviz/Dot syntax
utensil's Repositories
utensil/awesome-stars
A curated list of my GitHub stars!
utensil/ginac-lean
A work-in-progress Lean 4 binding to GiNaC
utensil/lean-playground
Experiment with Lean prover.
utensil/forest
utensil/lean4_jupyter
A Lean 4 Jupyter kernel via repl
utensil/LeanBlueprintExample
utensil/utensil.github.io
My Github Home
utensil/lean-wgpu
utensil/leanblueprint
The forked repo for contributing to upstream or as staging site during contribution
utensil/blog
utensil/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
utensil/FltRegulartest
utensil/Grassmann.jl
⟨Grassmann-Clifford-Hodge⟩ multilinear differential geometric algebra
utensil/HepLean
utensil/hugo-simplecite
Citations in Hugo websites.
utensil/lean-ga
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
utensil/lean-lsp
Lean 4 language server wrapper for Jupyter LSP
utensil/lean4-alloy
Write C shims from within Lean code.
utensil/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
utensil/LeanInk
The forked repo for contributing to upstream
utensil/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
utensil/pfr
The forked repo for contributing to upstream or as staging site during contribution
utensil/poems
utensil/pygments
Pygments is a generic syntax highlighter written in Python
utensil/reconstruction
The forked repo for contributing to upstream or as staging site during contribution
utensil/repl
A simple REPL for Lean 4, returning information about errors and sorries.
utensil/reservoir-index
Registry index for Reservoir
utensil/utensil
utensil/verbose-lean4
Natural language tactics to teach mathematics using Lean 4
utensil/verso
Lean documentation authoring tool