mo271/BeweiseMitComputer mo271/BeweiseMitComputer

  • Stars
    star
    1
  • Language Lean
  • License
    Apache License 2.0
  • Created 4 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mo271/BeweiseMitComputer
github

mo271

Reviews

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

Repository Details

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

faulhaber

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

small_polytopes

TeX
1
star