Eric Wieser's repositories
numpy_ringbuffer
Ring-buffer implementation that thinly wraps a numpy array
lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
computercraft-github
A readonly github repository client for computercraft
LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
biblatex-multiple-dm
Loading multiple datamodel with biblatex
bors-ng
👁 A merge bot for GitHub Pull Requests
cpython
The Python programming language
doc-gen4
Document Generator for Lean 4
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
LaTeX-Workshop-wiki
Public repo for contributing to https://github.com/James-Yu/LaTeX-Workshop/wiki
leangz
Lean 4 .olean file (de)compressor
leocad
A CAD program for creating virtual LEGO models
lftcm2023-QuadraticForms
A fork of the project to formalize the witt ring of quadratic forms from LftCM 2023
linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
md4lean
a Lean wrapper for the MD4C Markdown parser
oleandump
A type-aware olean tparser for Lean 4 olean files
ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
pygments
Pygments is a generic syntax highlighter written in Python
quote4
Intuitive, type-safe expression quotations for Lean 4.
reveal.js
The HTML Presentation Framework
std4
Standard Library for Lean 4
theorem_proving_in_lean4
Theorem Proving in Lean 4
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant