Skip to content

Instantly share code, notes, and snippets.

@Gravifer

Gravifer/bucketlist.md

Created February 24, 2021 06:55
Show Gist options
  • Save Gravifer/c64681f36200b41defea28b7348b4805 to your computer and use it in GitHub Desktop.
Save Gravifer/c64681f36200b41defea28b7348b4805 to your computer and use it in GitHub Desktop.
Download ZIP
My BucketList
Raw
bucketlist.md

My BucketList

  • This list is still far from complete.

  • Coq

  • Lean (prover)

  • Haskell

  • OCaml

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment