Floris van Doorn (fpvandoorn)

fpvandoorn

Geek Repo

Company:University of Paris-Saclay

Location:Paris

Home Page:http://florisvandoorn.com/

Github PK Tool:Github PK Tool


Organizations
leanprover-community

Floris van Doorn's repositories

Language:LeanLicense:Apache-2.0Stargazers:22Issues:0Issues:0

LogicColloquiumTutorial

The Lean tutorial for Logic Colloquium 2023

Language:LeanLicense:Apache-2.0Stargazers:5Issues:0Issues:0

LeanInRome

Repository for the workshop Computer-verified proofs: 48 hours in Rome

Language:LeanStargazers:4Issues:0Issues:0

HausdorffSchoolLean

Repository for the September 2023 Hausdorff School on Lean

Language:LeanLicense:Apache-2.0Stargazers:2Issues:0Issues:0

sard

Work towards a general version of Sard's theorem in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:2Issues:0Issues:0
Language:TeXStargazers:1Issues:0Issues:0

flt3

Proof in Lean of Fermat Last Theorem for exponent 3

Language:LeanLicense:Apache-2.0Stargazers:1Issues:0Issues:0

Analytic

lecture notes for Analytic Geometry course

Stargazers:0Issues:0Issues:0

BonnAnalysis

repository for the collaborative formalization seminar in Analysis in Bonn

Language:TeXLicense:Apache-2.0Stargazers:0Issues:0Issues:0

carleson

A (WIP) formalized proof of Carleson's theorem in Lean

Language:TeXLicense:Apache-2.0Stargazers:0Issues:0Issues:0

chrome-lean-unicode

Type Lean unicode characters in your web browser

Language:JavaScriptStargazers:0Issues:0Issues:0

cryptomorphism

Studying cryptomorphisms in Lean

Language:LeanStargazers:0Issues:0Issues:0

fpvandoorn.github.io

personal website

Language:HTMLStargazers:0Issues:0Issues:0

GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.

Stargazers:0Issues:0Issues:0

group-representations

The definition and basic properties of representations of groups in the Lean theorem prover

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

hanabi-conventions

A list of Hanabi strategies

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

hanabi-scratchpad

Various random files about hanabi

License:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

mathematics_in_lean_source

Source code for the Mathematics in Lean tutorial.

Language:LeanStargazers:0Issues:0Issues:0

mathlib4

Work in progress mathlib port for lean 4

License:Apache-2.0Stargazers:0Issues:0Issues:0

omsi-loops

Incremental games and tools for them.

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

qpf

Datatypes as quotients of polynomial functors

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

std4

Standard Library for Lean 4

License:Apache-2.0Stargazers:0Issues:0Issues:0

vscode-lean

An extension for VS Code which provides support for the Lean language.

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0

vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0