-
Google Research
- Basel, CH
-
12:28
(UTC +02:00) - firsching.ch
- @MoritzFirsching@mathstodon.xyz
- @MoritzFirsching
- https://mathoverflow.net/users/39495/moritz-firsching
-
equational_theories Public
Forked from teorth/equational_theoriesA project to map out the relations between different equational theories of Magmas.
Lean Apache License 2.0 UpdatedOct 2, 2024 -
jxl-rs Public
Forked from libjxl/jxl-rsRust BSD 3-Clause "New" or "Revised" License UpdatedOct 2, 2024 -
Chess.lean Public
Forked from dwrensha/Chess.leanChess in Lean 4
Lean Apache License 2.0 UpdatedSep 30, 2024 -
carleson Public
Forked from fpvandoorn/carlesonA formalized proof of Carleson's theorem in Lean
Lean Apache License 2.0 UpdatedSep 30, 2024 -
FormalBook Public
Formalizing "Proofs from THE BOOK"
-
mo271.github.io Public
Source of Moritz Firsching's web page
-
animate-lean-proofs Public
Forked from dwrensha/animate-lean-proofstool for turning Lean proofs into Blender animations
-
libjxl Public
Forked from libjxl/libjxlJPEG XL image format reference implementation
-
leanblueprint Public
Forked from PatrickMassot/leanblueprintplasTeX plugin to build formalization blueprints.
Python Apache License 2.0 UpdatedSep 20, 2024 -
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
TeX Apache License 2.0 UpdatedSep 12, 2024 -
-
jpegli Public
Forked from google/jpegliC++ BSD 3-Clause "New" or "Revised" License UpdatedSep 5, 2024 -
-
-
import-graph Public
Forked from leanprover-community/import-graphTool to analyse the import structure of lean projects.
Lean Apache License 2.0 UpdatedJul 16, 2024 -
guessaday Public
An android app for training mental calendar caculations
-
-
zimtohrli Public
Forked from google/zimtohrliJupyter Notebook Apache License 2.0 UpdatedApr 22, 2024 -
TestProject Public
Testing weird filenames with doc4-gen
Lean Apache License 2.0 UpdatedApr 21, 2024 -
libjpeg Public
Forked from thorfdbg/libjpegA complete implementation of 10918-1 (JPEG) coming from jpeg.org (the ISO group) with extensions for HDR, lossless and alpha channel coding standardized as ISO/IEC 18477 (JPEG XT).
C++ UpdatedMar 26, 2024 -
MathlibSynergies Public
Materials for the hands-on Lean session during the [Combinatorial Coworkspace 2024](https://www.combinatorial-cowork.space/)
Lean Apache License 2.0 UpdatedMar 21, 2024 -
HomotopyContinuation.jl Public
Forked from JuliaHomotopyContinuation/HomotopyContinuation.jlA Julia package for solving systems of polynomials via homotopy continuation.
Julia MIT License UpdatedMar 20, 2024 -
gemma.cpp Public
Forked from google/gemma.cpplightweight, standalone C++ inference engine for Google's Gemma models.
C++ Apache License 2.0 UpdatedMar 14, 2024 -
oss-fuzz Public
Forked from google/oss-fuzzOSS-Fuzz - continuous fuzzing for open source software.
Shell Apache License 2.0 UpdatedMar 5, 2024 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
-
-
PrimeNumberTheoremAnd Public
Forked from AlexKontorovich/PrimeNumberTheoremAndblueprint for prime number theorem and more
Lean Apache License 2.0 UpdatedFeb 15, 2024 -
EulerProducts Public
Forked from MichaelStollBayreuth/EulerProductsAn attempt at formalizing facts on Euler products in Lean
Lean GNU General Public License v2.0 UpdatedFeb 14, 2024 -
timelib Public
Forked from ammkrn/timelibA date and time library for Lean 4
-
testdata Public
Forked from libjxl/testdataCreative Commons Attribution 4.0 International UpdatedJan 5, 2024