Pinned Repositories
batteries
The "batteries included" extended library for the Lean programming language and theorem prover
blog
Source for the community blog
console
A rust console and terminal abstraction
dialoguer
Rust utility library for nice command line prompts and similar things
difftastic
a structural diff that understands syntax 🟥🟩
lean4
Lean 4 programming language and theorem prover
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
nvim-treesitter
Nvim Treesitter configurations and abstraction layer
plastex
plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.
difftastic
a structural diff that understands syntax 🟥🟩
grunweg's Repositories
grunweg/dialoguer
Rust utility library for nice command line prompts and similar things
grunweg/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
grunweg/blog
Source for the community blog
grunweg/console
A rust console and terminal abstraction
grunweg/difftastic
a structural diff that understands syntax 🟥🟩
grunweg/lean4
Lean 4 programming language and theorem prover
grunweg/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
grunweg/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
grunweg/plastex
plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.