GitHub - codyroux/ny-haskell: The source files for the NY Haskell Lean talk

codyroux / ny-haskell Public

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

The source files for the NY Haskell Lean talk

3 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
code		code
slides		slides
README.md		README.md

Repository files navigation

The materials for the Nov 25, 2015 talk at the NY Haskell reunion on the Lean theorem prover.

About

The source files for the NY Haskell Lean talk

Report repository

Releases

No releases published

Packages

Languages