Skip to content
<awesome-gh-repos>
vic

hzelenka/idris-proofs

null
Source code at GitHub null
hzelenka/idris-proofs.json
{
  "createdAt": "2016-10-30T18:20:30Z",
  "defaultBranch": "master",
  "description": null,
  "fullName": "hzelenka/idris-proofs",
  "homepage": null,
  "language": "Idris",
  "name": "idris-proofs",
  "pushedAt": "2017-05-23T01:27:49Z",
  "stargazersCount": 3,
  "topics": [],
  "updatedAt": "2018-05-10T19:31:07Z",
  "url": "https://github.com/hzelenka/idris-proofs"
}

Idris Mathematical Proofs

Section titled “Idris Mathematical Proofs”

A collection of Idris files proving important concepts in mathematics or whatever I feel like. You can think of this as a scratchpad I made publicly available.

Feel free to use any of the code provided, but please note that some modules contain functions that are mostly holes!

I have also started including some fun problems I found online in src/Problems.