Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 11, 2025

• Replace s[var]!! notation with GetElem instance

  Show description for c71c109
  cilinder

  committed
  c71c109

  Copy full SHA for c71c109

Commits on Aug 6, 2025

• Merge pull request #27 from NethermindEth/update-haskell

  Show description for 6ef2e7e
  Coda-Coda

  authored
  6ef2e7e

  Copy full SHA for 6ef2e7e

Commits on Jun 23, 2025

• Update Haskell to lts 23.25

  Show description for 00f683c
  Coda-Coda

  committed
  00f683c

  Copy full SHA for 00f683c

Commits on Nov 21, 2024

• Merge pull request #21 from NethermindEth/fix-deep-recursion-error

  Show description for cdd554c
  Coda-Coda

  authored
  cdd554c

  Copy full SHA for cdd554c

Commits on Nov 20, 2024

• Revert "Eliminate need for adding `unfold exec/eval/evalArgs;`"

  Show description for 5be73e4
  Coda-Coda

  committed
  5be73e4

  Copy full SHA for 5be73e4

Commits on Oct 22, 2024

• Merge pull request #14 from NethermindEth/fix-building-with-GitHub-Actions

  Show description for 29e3c76
  Coda-Coda

  authored
  29e3c76

  Copy full SHA for 29e3c76

Commits on Oct 21, 2024

• Remove problematic manual caching in GitHub Actions

  Coda-Coda

  committed
  9583ece

  Copy full SHA for 9583ece

Commits on Oct 16, 2024

• Merge pull request #11 from NethermindEth/build-with-GitHub-Actions

  Show description for a20c24e
  Coda-Coda

  authored
  a20c24e

  Copy full SHA for a20c24e

• Merge pull request #12 from NethermindEth/readme-edit

  Show description for 7907bc9
  Coda-Coda

  authored
  7907bc9

  Copy full SHA for 7907bc9

Commits on Oct 11, 2024

• Add a GitHub Action to run `lake build` and `stack build`

  Show description for 099f6e0
  Coda-Coda

  committed
  099f6e0

  Copy full SHA for 099f6e0

• Add `shell.nix` including `elan` and `stack`

  Show description for dc4afd7
  Coda-Coda

  committed
  dc4afd7

  Copy full SHA for dc4afd7

Commits on Oct 8, 2024

• Merge pull request #3 from Coda-Coda/fix-extra-brace

  Show description for a8862bf
  jkopanski

  authored
  a8862bf

  Copy full SHA for a8862bf

Commits on Oct 7, 2024

• Merge pull request #2 from NethermindEth/andreiburdusa/storage-erase-default-values

  Show description for 24aad3a
  jkopanski

  authored
  24aad3a

  Copy full SHA for 24aad3a

• Don't use default for numbers/values

  jkopanski

  committed
  178504e

  Copy full SHA for 178504e

• Merge pull request #6 from NethermindEth/explicitly-match-none-case

  Show description for ed98681
  jkopanski

  authored
  ed98681

  Copy full SHA for ed98681

• Add comment about obtaining precompiled files for Mathlib

  Coda-Coda

  committed
  e6bdeef

  Copy full SHA for e6bdeef

Commits on Oct 1, 2024

• Explicitly match none case

  

  jkopanski

  authored and

  Coda-Coda

  committed
  4d263b5

  Copy full SHA for 4d263b5

Commits on Sep 27, 2024

• Merge pull request #5 from Coda-Coda/bump-4.9.1

  Show description for 704b244
  Coda-Coda

  authored
  704b244

  Copy full SHA for 704b244

Commits on Sep 24, 2024

• Remove need for `linter.dupNamespace false`

  Show description for 7b51343
  Coda-Coda

  committed
  7b51343

  Copy full SHA for 7b51343

• Eliminate need for adding `unfold exec/eval/evalArgs;`

  Show description for e3ea4f6
  Coda-Coda

  committed
  e3ea4f6

  Copy full SHA for e3ea4f6

Commits on Sep 20, 2024

• Fix extra `}` generated when `ret ++ fargs` is empty

  Show description for 4b51900
  Coda-Coda

  committed
  4b51900

  Copy full SHA for 4b51900

Commits on Aug 29, 2024

• Erase default values from storage

  andreiburdusa

  committed
  3b78768

  Copy full SHA for 3b78768

Commits on Jul 30, 2024

• Fix breakage in the examples

  jkopanski

  committed
  ea537c9

  Copy full SHA for ea537c9

• Fix broken lemmas

  Show description for 88217ba
  jkopanski

  committed
  88217ba

  Copy full SHA for 88217ba

• Lean.Name.getString -> Lean.Name.lastComponentAsString

  Show description for 7c2cdaa
  jkopanski

  committed
  7c2cdaa

  Copy full SHA for 7c2cdaa

• Fix linting warnings

  Show description for 2b718af
  jkopanski

  committed
  2b718af

  Copy full SHA for 2b718af

• Std -> Batteries

  jkopanski

  committed
  0139251

  Copy full SHA for 0139251

• Change State lookup notation so it won't clash with GetElem

  jkopanski

  committed
  e357bdb

  Copy full SHA for e357bdb

Commits on Jul 29, 2024

• Bump lean & mathlib to 4.9.1

  Show description for 38f6d42
  jkopanski

  committed
  38f6d42

  Copy full SHA for 38f6d42

Commits on Jul 11, 2024

• Update README.md

  orscars

  authored
  f985ea6

  Copy full SHA for f985ea6

• Update README.md

  orscars

  authored
  f0a26af

  Copy full SHA for f0a26af

• Update README.md

  orscars

  authored
  ceab434

  Copy full SHA for ceab434

• Update README.md

  orscars

  authored
  b9ac887

  Copy full SHA for b9ac887

• Update README.md

  orscars

  authored
  9c8161e

  Copy full SHA for 9c8161e

• Update README.md

  orscars

  authored
  8d189bf

  Copy full SHA for 8d189bf

Pagination

Previous

Next