mo271/mo271.github.io mo271/mo271.github.io

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    HTML
  • License
    MIT License
  • Created over 6 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mo271/mo271.github.io
github

mo271

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Source of Moritz Firsching's web page

More Repositories

1

formal_book

Formalizing "Proofs from THE BOOK"
Lean
38
star
2

guessaday

An android app for training mental calendar caculations
Java
6
star
3

stirling

A proof of Stirling's formula in Lean
Lean
2
star
4

klein

Source for Felix Klein Protokolle
JavaScript
1
star
5

emoji-test

Testing emoji rendering
1
star
6

BeweiseMitComputer

Lean
1
star
7

faulhaber

A lean proof of Faulhaber's theorem
Lean
1
star
8

small_polytopes

TeX
1
star