mo271/faulhaber mo271/faulhaber

  • Stars
    star
    1
  • Language Lean
  • Created almost 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mo271/faulhaber
github

mo271

Reviews

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

Repository Details

A lean proof of Faulhaber's theorem

More Repositories

1

formal_book

Formalizing "Proofs from THE BOOK"
Lean
38
star
2

mo271.github.io

Source of Moritz Firsching's web page
HTML
8
star
3

guessaday

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

stirling

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

klein

Source for Felix Klein Protokolle
JavaScript
1
star
6

emoji-test

Testing emoji rendering
1
star
7

BeweiseMitComputer

Lean
1
star
8

small_polytopes

TeX
1
star