Pinned Repositories
cocotb
cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
nanopb-arduino
Arduino stream wrappers for nanopb
numpy_ringbuffer
Ring-buffer implementation that thinly wraps a numpy array
raven-client
A python requests adapter to automatically login to the Cambridge University Raven Login
ros_numpy
Tools for converting ROS messages to and from numpy arrays
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
mathlib4
The math library of Lean 4
numpy
The fundamental package for scientific computing with Python.
clifford
Geometric Algebra for Python
eric-wieser's Repositories
eric-wieser/ros_numpy
Tools for converting ROS messages to and from numpy arrays
eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
eric-wieser/cadical
CaDiCaL SAT Solver
eric-wieser/lean4
Lean 4 programming language and theorem prover
eric-wieser/LeanCamCombi
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
eric-wieser/biblatex-multiple-dm
Loading multiple datamodel with biblatex
eric-wieser/cocotb
Coroutine Co-simulation Test Bench
eric-wieser/cpython
The Python programming language
eric-wieser/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
eric-wieser/doc-gen4
Document Generator for Lean 4
eric-wieser/Evariste
HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à connaître, à chercher qu'à trouver la vérité."
eric-wieser/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
eric-wieser/formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
eric-wieser/LaTeX-Workshop-wiki
Public repo for contributing to https://github.com/James-Yu/LaTeX-Workshop/wiki
eric-wieser/lean-smt
Tactics for discharging Lean goals into SMT solvers.
eric-wieser/leangz
Lean 4 .olean file (de)compressor
eric-wieser/leocad
A CAD program for creating virtual LEGO models
eric-wieser/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
eric-wieser/md4lean
a Lean wrapper for the MD4C Markdown parser
eric-wieser/MiniCodePropsLeanSrc
the Lean 4 source code of MiniCodeProps
eric-wieser/oleandump
A type-aware olean tparser for Lean 4 olean files
eric-wieser/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.
eric-wieser/plausible
eric-wieser/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
eric-wieser/PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
eric-wieser/pygments
Pygments is a generic syntax highlighter written in Python
eric-wieser/std4
Standard Library for Lean 4
eric-wieser/theorem_proving_in_lean4
Theorem Proving in Lean 4
eric-wieser/vscode-lean
An extension for VS Code which provides support for the Lean language.
eric-wieser/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant