Giter Site home page Giter Site logo

Hi there ๐Ÿ‘‹

  • ๐Ÿค“ My name is Florent Schaffhauser.
  • ๐Ÿ”ญ I am a mathematician working in complex and real algebraic geometry.
  • ๐ŸŒฑ I am currently learning functional programming.
  • ๐Ÿ‘ฏ I am looking to collaborate on moduli spaces of Higgs bundles and homotopy type theory.
  • ๐Ÿค” I'm looking for help with any of the above.
  • ๐Ÿ’ฌ Ask me about the Atiyah-Bott paper or the HoTT book.
  • ๐Ÿ“ซ How to reach me: take a look at my personal webpage.
  • ๐Ÿ˜„ Pronouns: he/him.
  • โšก Fun fact: I am passionate about making mathematics accessible to anyone interested in the subject.

Florent Schaffhauser's Projects

compassistedmath2023 icon compassistedmath2023

GitHub repository for the Proseminar on Computer-assisted mathematics held at the University of Heidelberg in Summer Semester 2023.

compassistedmath2024 icon compassistedmath2024

GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.

lean-math-workshop icon lean-math-workshop

ๆ•ฐๅญฆ็ณปใฎใŸใ‚ใฎLeanๅ‹‰ๅผทไผš

lean-slides icon lean-slides

A tool to auto-generate and render slides from Markdown comments in the Lean editor.

leanpackage icon leanpackage

Lean package template (without a Mathlib dependency)

lftcm2024_rocq icon lftcm2024_rocq

Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024

mdbook icon mdbook

Create book from markdown files. Like Gitbook but implemented in Rust

mdgen icon mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

plfa icon plfa

An introduction to programming language theory in Agda

regensburg-itp-school-2023 icon regensburg-itp-school-2023

Materials for my lecture at the 2023 International School on Interactions of Proof Assistants and Mathematics in Regensburg

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.