GitHub - madvorak/Lean-first-steps: I started learning Lean in order to write fully-formal proofs. I will put some of my early attempts into this repository. I will be happy for any feedback!

madvorak / Lean-first-steps Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

I started learning Lean in order to write fully-formal proofs. I will put some of my early attempts into this repository. I will be happy for any feedback!

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
src		src
.gitignore		.gitignore
leanpkg.toml		leanpkg.toml

About

I started learning Lean in order to write fully-formal proofs. I will put some of my early attempts into this repository. I will be happy for any feedback!

Activity

0 stars

1 watching

0 forks

Report repository