-
University of Cambridge
- Cambridge UK
- http:https://ericwieser.me
- @EricWieser
Highlights
- Pro
Block or Report
Block or report eric-wieser
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedAug 5, 2024 -
plastex Public
Forked from plastex/plastexplasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.
Python Other UpdatedJul 15, 2024 -
lean-matrix-cookbook Public
The matrix cookbook, proved in the Lean theorem prover
-
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedJun 17, 2024 -
md4lean Public
Forked from acmepjz/md4leana Lean wrapper for the MD4C Markdown parser
C MIT License UpdatedJun 11, 2024 -
vscode-lean4 Public
Forked from leanprover/vscode-lean4Visual Studio Code extension for the Lean 4 proof assistant
TypeScript Apache License 2.0 UpdatedMay 15, 2024 -
leocad Public
Forked from leozide/leocadA CAD program for creating virtual LEGO models
C++ UpdatedMay 15, 2024 -
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
TeX Apache License 2.0 UpdatedMay 6, 2024 -
ProofWidgets4 Public
Forked from leanprover-community/ProofWidgets4Helper toolkit for creating your own Lean 4 UserWidgets
Lean Apache License 2.0 UpdatedApr 28, 2024 -
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedApr 7, 2024 -
oleandump Public
Forked from digama0/oleandumpA type-aware olean tparser for Lean 4 olean files
Lean UpdatedMar 19, 2024 -
cocotb Public
Forked from cocotb/cocotbCoroutine Co-simulation Test Bench
Python Other UpdatedMar 13, 2024 -
leangz Public
Forked from digama0/leangzLean 4 .olean file (de)compressor
Rust Apache License 2.0 UpdatedMar 8, 2024 -
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedFeb 28, 2024 -
LaTeX-Workshop-wiki Public
Forked from jlelong/LaTeX-Workshop-wikiPublic repo for contributing to https://github.com/James-Yu/LaTeX-Workshop/wiki
Python UpdatedFeb 19, 2024 -
formalising-mathematics-2023 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2023repository for material for Jan-Mar 2023 course on formalising mathematics
Lean UpdatedFeb 11, 2024 -
std4 Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedJan 18, 2024 -
pygments Public
Forked from pygments/pygmentsPygments is a generic syntax highlighter written in Python
Python BSD 2-Clause "Simplified" License UpdatedJan 14, 2024 -
linguist Public
Forked from github-linguist/linguistLanguage Savant. If your repository's language is being reported incorrectly, send us a pull request!
Ruby MIT License UpdatedDec 11, 2023 -
ros_numpy Public
Tools for converting ROS messages to and from numpy arrays
-
biblatex-multiple-dm Public
Forked from maieul/biblatex-multiple-dmLoading multiple datamodel with biblatex
TeX UpdatedNov 15, 2023 -
LeanCamCombi Public
Forked from YaelDillies/LeanCamCombiFormalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
-
computercraft-github Public archive
A readonly github repository client for computercraft
-
numpy_ringbuffer Public
Ring-buffer implementation that thinly wraps a numpy array
-
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
-
bors-ng Public
Forked from bors-ng/bors-ng👁 A merge bot for GitHub Pull Requests
Elixir Apache License 2.0 UpdatedSep 17, 2023 -
-
quote4 Public
Forked from leanprover-community/quote4Intuitive, type-safe expression quotations for Lean 4.
Lean UpdatedSep 12, 2023 -
lftcm2023-QuadraticForms Public
Forked from TentativeConvert/QuadraticFormsA fork of the project to formalize the witt ring of quadratic forms from LftCM 2023
Lean UpdatedSep 8, 2023 -