vbeffara

Pinned Repositories

Curvint
Language:Lean1 2 00
lean
Experiments with Lean
Language:Lean5 1 01
RMT4
The Riemann mapping theorem
Language:Lean4 2 01
Simulations
Various simulations of random processes
Language:C++11 3 42

vbeffara's Repositories

vbeffara/Simulations
Various simulations of random processes
Language:C++11 3 42
vbeffara/lean
Experiments with Lean
Language:Lean5 1 01
vbeffara/RMT4
The Riemann mapping theorem
Language:Lean4 2 01
vbeffara/Curvint
Language:Lean1 2 00
vbeffara/conan
A few conan packages needed for my simulations
Language:Python1 0
vbeffara/conan-center-index
Recipes for the ConanCenter repository
Language:Python0 0
vbeffara/fplll
Lattice algorithms using floating-point arithmetic
Language:C++0 0
vbeffara/Lean-misc
Language:Lean1 0
vbeffara/Lean4_misc
Various experiments in Lean 4
Language:Lean1 0
vbeffara/mtools
my maths toolkit
Language:C++1 0
vbeffara/musee
Le site web du musée de l'école
Language:CSS1 0
vbeffara/PNT
blueprint for prime number theorem and more
Language:Lean
vbeffara/Streams
Lazy evaluation in C++ - http://jscheiny.github.io/Streams/
Language:C++1 0
vbeffara/Talagrand
Language:Lean1 0
vbeffara/tralics
Tralics: a LaTeX to XML translator
Language:C++0 0
vbeffara/web
Language:SCSS1 0