pechersky/e222 pechersky/e222

  • Stars
    star
    1
  • Language Lean
  • Created over 4 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pechersky/e222
github

pechersky

Reviews

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

Repository Details

Formalization of Benedict Gross's E-222 lectures using Lean

More Repositories

1

haskell-numpy-docs

Examples of Haskell versions of Numpy usage
Haskell
18
star
2

sendoff

The minimal SDF metadata parser
Python
8
star
3

haskell-word2vec

A haskell implementation of word2vec
Haskell
3
star
4

hs-advent2017

Haskell solutions to Advent of Code 2017
Haskell
1
star
5

hs-otw

Haskell solutions to OverTheWire wargames
Haskell
1
star
6

hs-euler

Haskell solutions to Euler problems
Haskell
1
star