Pinned Repositories
CompAssistedMath2023
GitHub repository for the Proseminar on Computer-assisted mathematics held at the University of Heidelberg in Summer Semester 2023.
CompAssistedMath2024
GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
datasharing
The Leek group guide to data sharing
DSLsofMath
Domain-Specific Languages of Mathematics
formally_real
HausdorffSchoolLean
Repository for the September 2023 Hausdorff School on Lean
LEANear_algebra
Resources to teach Linear Algebra using Lean4 and Sagemath
matematiflo.github.io
Personal webpage
SumsOfSquares
Summing squares in Lean
TeXTemplate
LaTeX template repository
matematiflo's Repositories
matematiflo/CompAssistedMath2024
GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
matematiflo/CompAssistedMath2023
GitHub repository for the Proseminar on Computer-assisted mathematics held at the University of Heidelberg in Summer Semester 2023.
matematiflo/SumsOfSquares
Summing squares in Lean
matematiflo/LEANear_algebra
Resources to teach Linear Algebra using Lean4 and Sagemath
matematiflo/matematiflo.github.io
Personal webpage
matematiflo/DSLsofMath
Domain-Specific Languages of Mathematics
matematiflo/formally_real
matematiflo/HausdorffSchoolLean
Repository for the September 2023 Hausdorff School on Lean
matematiflo/TeXTemplate
LaTeX template repository
matematiflo/IISc-experiments
Some material for Lean 4 lectures at IISc
matematiflo/lean-math-workshop
数学系のためのLean勉強会
matematiflo/lean-slides
A tool to auto-generate and render slides from Markdown comments in the Lean editor.
matematiflo/lean2md
matematiflo/lean4-metaprogramming-book
matematiflo/LeanCourse23
matematiflo/LeanPackage
Lean package template (without a Mathlib dependency)
matematiflo/LFTCM2024
Repository for the conference LFTCM2024
matematiflo/LFTCM2024_Rocq
Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024
matematiflo/LorentzCenter
matematiflo/matematiflo
matematiflo/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
matematiflo/MathlibDependency
Lean package template (with a Mathlib dependency)
matematiflo/mdBook
Create book from markdown files. Like Gitbook but implemented in Rust
matematiflo/mdgen
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
matematiflo/plfa
An introduction to programming language theory in Agda
matematiflo/real-closed
Theorems for Real Closed Fields
matematiflo/RealAlgebraicGeometry
Formalisation in Lean 4 of basic results in Real Algebraic Geometry
matematiflo/regensburg-itp-school-2023
Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg
matematiflo/theorem_proving_in_lean4
Theorem Proving in Lean 4
matematiflo/tutorials
Some Lean tutorials