Skip to content

kayo09/Learn_Lean4

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 

Repository files navigation

Why?

Well to be able to eventually understand Mathematics better and maybe even solve a few (ok, maybe even just one) tinygrad (github.com/tinygrad/tinygrad). The book I am using for reference is https://richardhammack.github.io/BookOfProof/

Motive

Well my name means "To be Obliged", which I forgot since my parents always taught me that they named me the way they did since it vaguely meant "To be Thank-ful". Just trynna live up to it tbh.

Most Important

https://adam.math.hhu.de/

About

Proofs by Richard Hammack formalized using Lean4

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages